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.
Log in to bookmark articles and create collections
Isabella News