Example: marketing
Formal Mathematics Statement Curriculum Learning
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-
Download Formal Mathematics Statement Curriculum Learning
Information
Domain:
Source:
Link to this page: