Month: February 2022

General Loading...

Solving (some) formal math olympiad problems

We built a neural theorem prover forĀ LeanĀ that learned to solve a variety of challenging high-school olympiad problems, including problems from theĀ AMC12Ā andĀ AIMEĀ competitions, as well as two problems...

Weiterlesen