TY  - RPRT
TI  - Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
AU  - Xiaoyang Liu
AU  - Zineng Dong
AU  - Yifan Bai
AU  - Yantao Li
AU  - Yuntian Liu
AU  - Tao Luo
PY  - 2026
UR  - https://arxiv.org/abs/2604.19000
ID  - 2604.19000
ER  -