Poster · Sydney
A Theoretical Framework for Self-Play Theorem Proving Algorithms
- When
- Tue 8 Dec 2026, 17:00–20:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 2
- Authors
- Thomas Chen, Zhiyuan Li
- Organisations
- Stanford University, Toyota Technological Institute at Chicago
- QRS classification
- Language models