Simon Frieder
- Large Language Models for Mathematicians
2023/12/07 by Simon Frieder, Julius Berner, Philipp Petersen +1 · 7 voices · 1 citation
#cs.CL #cs.AI #cs.LG #math.HO
- Evaluating Language Models for Mathematics through Interactions
2023/06/02 by Katherine M. Collins, Albert Q. Jiang, Collins, Katherine M. +25 · 5 citations
Computer Science · Medicine · #Artificial Intelligence in Healthcare and Education #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Machine Learning (cs.LG) #Topic Modeling
- Language Models as a Service: Overview of a New Paradigm and its Challenges
2023/09/28 by Emanuele La Malfa, Aleksandar Petrov, La Malfa, Emanuele +14 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computers and Society (cs.CY) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling
- Language Models as Science Tutors
2024/02/16 by Alexis Chevalier, Jiayi Geng, Chevalier, Alexis +40 · 2 citations
Psychology · Computer Science · #Innovative Teaching and Learning Methods #Intelligent Tutoring Systems and Adaptive Learning
- Newclid: A User-Friendly Replacement for AlphaGeometry
2024/11/18 by Vladmir Sicca, Sicca, Vladmir, Mathïs Fédérico +8 · 2 citations
Computer Science · #Augmented Reality Applications
- Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
2024/12/19 by Simon Frieder, Jonas Bayer, Frieder, Simon +27 · 2 citations
Computer Science · #Numerical Methods and Algorithms #Mathematics, Computing, and Information Processing #Polynomial and algebraic computation