Robuta

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://leandojo.org/

AI-Driven Formal Theorem Proving in the Lean Ecosystem

formal theorem ai driven proving lean