Scholar
Simon Frieder
Google Scholar ID: QULJEi8AAAAJ
University of Oxford
Citations & Impact
Citations
1,248
H-index
8
i10-index
8
Publications
20
Co-authors
6
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published papers at ICML24, ICLR 2024 (TP track), NeurIPS 2023, etc.; Delivered talks at IHES, NII, Harvard CMSA, etc.; Mentioned in media such as Nature News, MIT Tech, ZD Net, etc.; Reviewer for conferences like NeurIPS 2023, ICLR 2024, etc.
Research Experience
- Researcher @ University of Oxford; Served as area chair for the AI4MATH workshop at ICML25; Involved in various research projects related to mathematics and language models.
Education
- PhD/DPhil at the University of Oxford under T. Lukasiewicz; Also affiliated with Tim Gowers’ group at Cambridge University.
Background
- ML Researcher. Mathematician. Scientist. Interested in benchmarking and automating advanced mathematical problem-solving using deep learning.
Miscellany
- Interests include developing open-source theorem provers for Euclidean geometry, managing AIMO prizes, and teaching, such as supervising master's theses and being a demonstrator for the 'Deep Learning in Healthcare' course.
