Datasets for Math: From AIMO Competitions to Math Copilots for Research
Virtualhttps://youtu.be/XUp3IM66AQA 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 […]