On Reasoning-Centric LLM-based Automated Theorem Proving

Yican Sun, Chengwei Shi, Hangzhou Lyu +1

Automated theorem proving is fundamental to formal methods, and the recent trend is to integrate large language models (LLMs) and proof assistants to form effective proof agents. W…