Formal Mathematics Statement Curriculum Learning
- Source
- doi.org
- Published
- Feb 3, 2022
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...
doi.orgInfo
- Published
- Feb 3, 2022
- Uploaded
- Jul 10, 2026
- Uploaded by
Trevor McFedries
- Queried
- 0 times
Appears in
More
Use with your agent
Have your agent query this content directly
Download package
Unlocks the raw transcripts and files to use as you please
Discover playbooks
Create a repeatable workflow using this source