3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LG2024
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
Simon Frieder, Jonas Bayer, Sam Looi +13
The datasets and benchmarks commonly used to train and evaluate the mathematical capabilities of AI-based mathematical copilots (primarily large language models) exhibit several sh…
cs.CL2023★ 3 cited
Large Language Models for Mathematicians
Simon Frieder, Julius Berner, Philipp Petersen +1
Large language models (LLMs) such as ChatGPT have received immense interest for their general-purpose language understanding and, in particular, their ability to generate high-qual…