cs.LG
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 Thomas Lukasiewicz Timothy Gowers