Datasets for Math: From AIMO Competitions to Math Copilots for Research
Datasets for Math: From AIMO Competitions to Math Copilots for Research
New Technologies in Mathematics Seminar Speaker: Simon Frieder, Oxford Title: Datasets for Math: From AIMO Competitions to Math Copilots for Research Abstract: This talk begins with a brief exposition of the AI Mathematical Olympiad (AIMO) on Kaggle, now in its second iteration, outlining datasets and models available to contestants. Taking a broader perspective, I then examine 1) […]