TY  - RPRT
TI  - Solving versus Verifying: Catching Contradictions in Tax Reasoning Systems
AU  - Albert Sadowski
AU  - Jarosław A. Chudziak
PY  - 2026
UR  - https://arxiv.org/abs/2609.05928
ID  - 2609.05928
ER  -