TY  - RPRT
TI  - AUDITFLOW: Executable Symbolic Environments for Structured Financial Reporting Verification
AU  - Yan Wang
AU  - Xuguang Ai
AU  - Jaisal Patel
AU  - Xueqing Peng
AU  - Fengran Mo
AU  - Yupeng Cao
AU  - Haohang Li
AU  - Mingyu Cao
AU  - Lingfei Qian
AU  - Víctor Gutiérrez-Basulto
PY  - 2026
UR  - https://arxiv.org/abs/2606.03031
ID  - 2606.03031
ER  -