Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Frieder, Simon, Bayer, Jonas, Looi, Sam, Loader, Jacob, Berner, Julius, Collins, Katherine M., Juhász, András, Ruehle, Fabian, Welleck, Sean, Poesia, Gabriel, Griffiths, Ryan-Rhys, Weller, Adrian, Goyal, Anirudh, Freer, Cameron, Lukasiewicz, Thomas, Gowers, Timothy
Format: Preprint
Veröffentlicht: 2024
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!