@misc{indiciae24f5f3219807,
  title = {Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning},
  author = {Simon Frieder and Jonas Bayer and Sam Looi and Jacob Loader and Julius Berner and Katherine M. Collins and András Juhász and Fabian Ruehle and Sean Welleck and Gabriel Poesia and Ryan-Rhys Griffiths and Adrian Weller and Anirudh Goyal and Cameron Freer and Thomas Lukasiewicz and Timothy Gowers},
  year = {2025},
  url = {https://arxiv.org/abs/2412.15184},
  note = {Source identifier: 2412.15184}
}