Démonstrateurs de théorèmes LLM auto-joués avec conjecture et démonstration itératives.

Aperçu

Explore self-play reinforcement learning for theorem proving where LLMs act as both conjecturers and provers, achieving state-of-the-art results on mathematical benchmarks.

---

Matières

Computer Science