May 30, 2024

[ad_1]

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.

[ad_2]

Source link

Leave a Reply

Your email address will not be published. Required fields are marked *