TY  - RPRT
TI  - Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
AU  - Simon Frieder
AU  - Jonas Bayer
AU  - Sam Looi
AU  - Jacob Loader
AU  - Julius Berner
AU  - Katherine M. Collins
AU  - András Juhász
AU  - Fabian Ruehle
AU  - Sean Welleck
AU  - Gabriel Poesia
AU  - Ryan-Rhys Griffiths
AU  - Adrian Weller
AU  - Anirudh Goyal
AU  - Cameron Freer
AU  - Thomas Lukasiewicz
AU  - Timothy Gowers
PY  - 2025
UR  - https://arxiv.org/abs/2412.15184
ID  - 2412.15184
ER  -