Frieder, S., Bayer, J., Looi, S., Loader, J., Berner, J., Collins, K. M., . . . Gowers, T. (2024). Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning.
Chicago Style (17th ed.) CitationFrieder, Simon, et al. Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning. 2024.
MLA (9th ed.) CitationFrieder, Simon, et al. Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning. 2024.
Warning: These citations may not always be 100% accurate.