Ma, Baoquan

1 publications

ICLR 2026 LoC-Decomp: LLM Autoformalization via Logical Concept Decomposition and Iterative Feedback Correction Jiangze Shi, Zhiwei Zhang, Baoquan Ma, Shuai Zhao, Ye Yuan, Guoren Wang