@misc{indiciae439676a0da8a,
  title = {Law And Order: Tax Law Autoformalization},
  author = {Sophia Simeng Han and Yoshiki Takashima and Anjiang Wei and Zhaoyu Li and Michael Genesereth},
  year = {2026},
  url = {https://arxiv.org/abs/2610.02792},
  note = {Source identifier: 2610.02792}
}