Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Simon Frieder
Observed name:
Frieder, Simon
Institution:
University of Oxford
Observed institutions:
University of Vienna,
University of Leeds,
TU Wien,
University of Oxford,
The Alan Turing Institute
OpenAlex ID:
A5001165299
Mathematical Capabilities of ChatGPT
2023
·
Simon Frieder
, Luca Pinchetti
, et al.
·
neural information processing systems
·
383
PDF
Evaluating language models for mathematics through interactions
2024
·
Katherine M. Collins
, Albert Q. Jiang
, et al.
·
Proceedings of the National Academy of Sciences
·
50
Associative Memories via Predictive Coding
2021
·
Salvatori, Tommaso
, Song, Yuhang
, et al.
·
PubMed
·
33
PDF
GAUCHE: A Library for Gaussian Processes in Chemistry
2023
·
Ryan-Rhys Griffiths
, Leo Klarner
, et al.
·
neural information processing systems
·
29
PDF
Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges
2024
·
Emanuele La Malfa
, Aleksandar Petrov
, et al.
·
Journal of Artificial Intelligence Research
·
9
PDF
Language Models as Science Tutors
2024
·
Chevalier, Alexis
, Geng, Jiayi
, et al.
·
arXiv (Cornell University)
·
8
PDF
Large Language Models for Mathematicians
2023
·
Frieder, Simon
, Berner, Julius
, et al.
·
arXiv (Cornell University)
·
4
PDF
Evaluating Language Models for Mathematics through Interactions
2023
·
Collins, Katherine M.
, Jiang, Albert Q.
, et al.
·
arXiv (Cornell University)
·
4
PDF
Analyzing global utilization and missed opportunities in debt-for-nature swaps with generative AI
2024
·
Nataliya Tkachenko
, Simon Frieder
, et al.
·
Frontiers in Artificial Intelligence
·
3
PDF
Benchmarking Predictive Coding Networks -- Made Simple
2024
·
Pinchetti, Luca
, Qi, Chang
, et al.
·
arXiv (Cornell University)
·
2
PDF
Dimension-independent learning rates for high-dimensional classification problems
2025
·
Andres Felipe Lerma-Pineda
, Philipp Petersen
, et al.
·
Analysis and Applications
·
1
PDF
Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges
2025
·
Emanuele La Malfa
, Aleksandar Petrov
, et al.
·
Proceedings of the AAAI Conference on Artificial Intelligence
·
1
PDF
Language Models as a Service: Overview of a New Paradigm and its Challenges
2023
·
La Malfa, Emanuele
, Petrov, Aleksandar
, et al.
·
White Rose Research Online (University of Leeds, The University of Sheffield, University of York)
·
1
PDF
AIMO Interpretability Challenge
2026
·
Štefánik, Michal
, Mondorf, Philipp
, et al.
·
arXiv (Cornell University)
PDF
Human agency in initial human-AI proof formalization workflows
2026
·
Collins, Katherine M.
, Frieder, Simon
, et al.
·
arXiv (Cornell University)
PDF
Faster Predictive Coding Networks via Better Initialization
2026
·
Pinchetti, Luca
, Frieder, Simon
, et al.
·
arXiv (Cornell University)
PDF
No LLM Solved Yu Tsumura's 554th Problem
2025
·
Frieder, Simon
, Hart, William
·
arXiv (Cornell University)
PDF
Studying Mathematical Reasoning through the Gadget Game
2025
·
Cognitive Science Society 2025
, Bayer, Jonas
, et al.
·
eScholarship (California Digital Library)
PDF
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
2024
·
Frieder, Simon
, Bayer, Jonas
, et al.
·
arXiv (Cornell University)
PDF
Newclid: A User-Friendly Replacement for AlphaGeometry
2024
·
Sicca, Vladmir
, Xia, Tianxiang
, et al.
·
arXiv (Cornell University)
PDF
Evaluating Language Models for Mathematics through Interactions
2023
·
Collins, Katherine
, Jiang, Albert
, et al.
·
HAL (Le Centre pour la Communication Scientifique Directe)
PDF
Show more works
View as search
Works count:
21
Citation count:
528
H-index:
6
I10-index:
4
Year
Topic
Type
