TY  - RPRT
TI  - LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code
AU  - Borchuluun Yadamsuren
AU  - Steven Keith Platt
AU  - Miguel Diaz
PY  - 2025
UR  - https://arxiv.org/abs/2511.11954
ID  - 2511.11954
ER  -