Discovering New Theorems via LLMs with In-Context Proof Learning in Lean

Kazumi Kasaura, Naoto Onda, Yuta Oriike +3

Large Language Models (LLMs) have demonstrated significant promise in formal theorem proving. In this study, we investigate the ability of LLMs to discover novel theorems and produ…