![Solving (some) formal math olympiad problems Solving (some) formal math olympiad problems](https://search.ai.wiki/wp-content/uploads/2023/03/solving-some-formal-math-olympiad-problems.jpg)
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 adapted from the IMO.