Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
arXiv:2509.14274v2 Announce Type: replace
Abstract: 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 produce verified proofs….