AUDITFLOW: Executable Symbolic Environments for Structured Financial Reporting Verification
AUDITFLOW is a graph-grounded multi-agent framework designed to verify structured financial reports like XBRL filings against accounting rules. It separates search from computation using a symbolic environment linked to US-GAAP taxonomy and filing evidence. The system uses specialized agents to check consistency, achieving high accuracy by relying on deterministic verification steps rather than solely on LLM reasoning.