Data for Mathematical Copilots: Better Ways of Presenting Proofs for
Machine Learning
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. These limitations include a restricted scope of mathematical complexity, typically not exceeding lower undergraduate-level mathematics, binary rating protocols and other issues, which makes comprehensive proof-based evaluation …