Lyra: Orchestrating Dual Correction in Automated Theorem Proving

Chuanyang Zheng, Haiming Wang, Enze Xie +6

Large Language Models (LLMs) present an intriguing avenue for exploration in the field of formal theorem proving. Nevertheless, their full potential, particularly concerning the mi…