Simon Frieder

## ML Researcher. Mathematician. Scientist.

Researcher @ University of Oxford.

PhD/DPhil under T. Lukasiewicz.

Also affiliated to Tim Gowers' group at Cambridge University.

Publication list: Google Scholar.

I want to automate advanced mathematical problem-solving using deep learning.

This homepage is still a bit under construction! In time, it will replace my previous university website at Oxford that I don't maintain anymore.

Contact me at: simon.frieder (at) cs.ox.ac.uk

## News:

**I have become the AIMO Prize Manager.**Working with Terence Tao, Tim Gowers and the AIMO Advisors to stimulate research via progress prizes to devise AI models that solve IMO-level math problems.**New paper published: Language Models as Science Tutors****Reviewer for ICML 2024****Two accepted papers (first-author) at ICLR 2024 (TP track)****December 2023: Talk at Aizawa group from the University of Tokyo / National Institute of Informatics (NII) on math and language models.****LLM vs ITP paper accepted for the MATH-AI workshop at NeurIPS 2023.****Media reports on my research.**My paper on Mathematical Capabilities ChatGPT has been covered by Ars Technica and Synced Review.**Reviewer for the ICLR 2024 conference.****Reviewer for NeurIPS MATH-AI and SoLaR workshops.****Oral at the LOD 2023 conference on the mathematics of Predictive Coding Networks.****Poster at the Neuromonster 2023 conference.****March 2023: Invited Talk at Tim Gowers' group on Mathematical Capabilities of ChatGPT.****New article on ChatGPT published (accepted for publication at NeurIPS 2023 Datasets & Benchmarks).**Can everyone's favorite language model really do mathematics? Can it show that $\int |fg| d \mu \leq \left\Vert g\right\Vert_1 \left\Vert f \right\Vert_\infty$? How about proving that $A+B$ is closed, if $A$ is a compact subset of a topological space and $B$ a closed one?

Read the arXiv preprint to find out.**Reviewer for NeurIPS 2023 conference (Main Track and Datasets and Benchmark Track).****IJCAI '23.**I'm serving as the IJCAI 2023 Assistant Workflow Chair.

## Teaching:

**Supervisor for master thesis on language models:**Starting winter term 2023, I'm supervising Philip Vonderlind's master thesis on language models and formal games, together with Thomas Lukasiewcz.I'm a demonstrator for the*Deep Learning in Healthcare*course:*Deep Learning in Healthcare*course, offered in Hilary term 2023 at my department at the University of Oxford.**Various earlier courses in mathematics and machine learning with varying responsibilities (from 100% teaching to marking grades):**Analysis/calculus, linear algebra for physicists, machine learning.

## About:

My interests are divided between (in no particular order):

- merging mathematics and machine learning;
- pure mathematics;
- rigorous evaluations of language models;
- interactive/automatic theorem proving in natural language;
- theoretical neuroscience and predictive coding networks.