Introduction To Igor Pro Igor Pro

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-

  Igor