Statement Curriculum Learning
OpenAIAutomated theorem provingLanguage modeling/generationQuestion answeringMathematical reasoning
Statement Curriculum Learning is automated theorem proving model published by OpenAI in 2022 featuring 774000000.0 parameters.
About Statement Curriculum Learning
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 s
Details
- Provider
- OpenAI
- Task
- Automated theorem proving,Language modeling/generation,Question answering,Mathematical reasoning
- Parameters
- 774000000.0
- Released
- 2022-03-02
- Open weights
- No