@misc{indiciae34bfcf6d1583,
  title = {Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees},
  author = {Xiaoyang Liu and Zineng Dong and Yifan Bai and Yantao Li and Yuntian Liu and Tao Luo},
  year = {2026},
  url = {https://arxiv.org/abs/2604.19000},
  note = {Source identifier: 2604.19000}
}