Solving versus Verifying: Catching Contradictions in Tax Reasoning Systems
DGX agentarXiv:2609.05928v1 Announce Type: cross Abstract: Large language models now compute correct tax liabilities on over 90% of well-formed cases in statutory benchmarks, which makes them candidates for th