LoC-Decomp: LLM Autoformalization via Logical Concept Decomposition and Iterative Feedback Correction - shi, jiangze; Zhang, Zhiwei; Ma, Baoquan; Zhao, Shuai; Yuan, Ye; Wang, Guoren (International Conference on Learning Representations, 2026)