AUDITFLOW: Executable Symbolic Environments for Structured Financial Reporting Verification.

arXiv:2606.03031v2 Announce Type: replace Abstract: Structured financial reporting verification requires connecting reported facts to accounting constraints, reconstructing expected values, and executing numerical checks. We study this problem through XBRL num