Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning. - Simon Frieder; Jonas Bayer; Katherine M. Collins; Julius Berner; Jacob Loader; András Juhász; Fabian Ruehle; Sean Welleck; Gabriel Poesia; Ryan-Rhys Griffiths; Adrian Weller; Anirudh Goyal; et al. (CoRR, 2024)