Search Results for author:
Found 2 papers, 1 papers with code
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
The suite of datasets commonly used to train and evaluate the mathematical capabilities of AI-based mathematical copilots (primarily large language models) exhibit several shortcomings.
Evaluating Language Models for Mathematics through Interactions
There is much excitement about the opportunity to harness the power of large language models (LLMs) when building problem-solving assistants.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
