Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method

Rahul Vishwakarma, Subhankar Mishra

Theorem proving is a fundamental task in mathematics. With the advent of large language models (LLMs) and interactive theorem provers (ITPs) like Lean, there has been growing inter…