theorem proving - Robuta Search

https://openreview.net/forum?id=jWJeuyOM2H

Tool-Assisted Multi-Turn Theorem Proving with LLMs | OpenReview

We present an approach for training language models to interactively prove theorems using the Lean proof assistant. Our approach enables models to propose...

theorem proving tool assisted multi turn

https://arxiv.org/abs/2510.11769?ref=foommagazine.org

[2510.11769] GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

Abstract page for arXiv paper 2510.11769: GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

reinforcement learning formal theorem gar generative adversarial

https://www.leancop.de/

leanCoP: Lean Connection-Based Theorem Proving

theorem proving lean connection based

https://github.com/cmu-l3/ntptutorial-II

GitHub - cmu-l3/ntptutorial-II: Neural theorem proving tutorial, version II

Neural theorem proving tutorial, version II. Contribute to cmu-l3/ntptutorial-II development by creating an account on GitHub.

theorem proving github cmu ii neural

https://deepai.org/publication/hypertree-proof-search-for-neural-theorem-proving

HyperTree Proof Search for Neural Theorem Proving | DeepAI

05/23/22 - We propose an online training procedure for a transformer-based automated theorem prover. Our approach leverages a new search algo...

hypertree proof search theorem proving neural deepai

https://leandojo.org/

AI-Driven Formal Theorem Proving in the Lean Ecosystem

formal theorem ai driven proving lean