Baoquan Ma

LoC-Decomp: LLM Autoformalization via Logical Concept Decomposition and Iterative Feedback Correction

Autoformalization—the process of converting natural language mathematical statements into machine-verifiable formal code—plays a critical role in ensuring the reliability of mathematical reasoning generated by large language models (LLMs). Recent studies show that LLMs exhibit strong potential in au…