MIT, KAUST & HUMAIN have built the world's largest collection of Olympiad-level math problems.
The dataset can help students prepare for competitions & revealed how AI models can improve at math problems, esp. ones w/visual reasoning:
https://mathnet.mit.edu/
The dataset can help students prepare for competitions & revealed how AI models can improve at math problems, esp. ones w/visual reasoning:
https://mathnet.mit.edu/
$$\langle \text{Konstantinos} \mid \text{Michailidis} \rangle$$