@misc{indiciaeaf3f47b7044e,
  title = {AUDITFLOW: Executable Symbolic Environments for Structured Financial Reporting Verification},
  author = {Yan Wang and Xuguang Ai and Jaisal Patel and Xueqing Peng and Fengran Mo and Yupeng Cao and Haohang Li and Mingyu Cao and Lingfei Qian and Víctor Gutiérrez-Basulto},
  year = {2026},
  url = {https://arxiv.org/abs/2606.03031},
  note = {Source identifier: 2606.03031}
}