Example: marketing
Formal Mathematics Statement Curriculum Learning

Formal Mathematics Statement Curriculum Learning

Back to document page

Stanislas Polu 1Jesse Michael Han Kunhao Zheng2 Mantas Baksys3 Igor Babuschkin1 Ilya Sutskever1 Abstract We explore the use of expert iteration in the con-text of language modeling applied to formal math-ematics. We show that at same compute bud-get, expert iteration, by which we mean proof search interleaved with learning, dramatically out-

  Igor

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