Formal Mathematics Statement Curriculum Learning
TM
Trevor McFedries
@trevvyboi
We explore the use of expert iteration in the context of language modeling applied to formal mathematics. We show that at same compute budget, expert iteration, by which we mean proof search interleaved with learning, dramatically outperforms proof search o...
- Uploaded
- Uploaded Jul 10, 2026
- Queried
- Queried 0 times
No preview text is available for this document yet.
Want to learn more?
Ask a question