Example: confidence
Formal Mathematics Statement Curriculum Learning

Formal Mathematics Statement Curriculum Learning

Back to document page

ment learning to formal mathematics unlikely to succeed. Past work proposed to address the infinite action space prob-lem by sampling from a language model (Polu & Sutskever, 2020). This paper focuses on this second problem and our basis for addressing it is the observation that the key role of self-play is to provide an unsupervised curriculum. We

  Learning, Self

Download Formal Mathematics Statement Curriculum Learning


Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Other abuse

Advertisement

Related search queries