Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees — Xiaoyang Liu, Zineng Dong, Yifan Bai, Yantao Li, Yuntian Liu, Tao Luo | Kutubxona