We built a neural theorem prover for Lean that learned to unravel a wide range of difficult high-school olympiad problems, including problems from the AMC12 and AIME competitions, in addition to two problems adapted from the IMO.
We built a neural theorem prover for Lean that learned to unravel a wide range of difficult high-school olympiad problems, including problems from the AMC12 and AIME competitions, in addition to two problems adapted from the IMO.
I don’t think the title of your article matches the content lol. Just kidding, mainly because I had some doubts after reading the article. https://www.binance.com/es/register?ref=V2H9AFPY