Artificial Intelligence

Solving (some) formal math olympiad problems

ASK ANA
ASK ANA

-

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.

ASK ANA

0

What are your thoughts on this topic?
Let us know in the comments below.

1 COMMENT

0 0 votes
Article Rating
guest
1 Comment
Oldest
Newest Most Voted
Inline Feedbacks
View all comments
ASK ANA
ASK ANAhttp://bardai.ai

Share this article

Recent posts

Previous article
Lessons learned on language model safety and misuse
Next article
Aligning language models to follow instructions

Our Newsletter

Subscribe To Receive Our Daily News Directly In Your Inbox!

This field is required.

© Copyright - All Right Reserved By Bardai.ai

1
0
Would love your thoughts, please comment.x
()
x