Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2412.15184/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTData for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning — mentioned by friederrrhttps://news.ycombinator.com/item?id=45345528urn:hackerpapers:mention:2412.15184:45345528Tue, 23 Sep 2025 11:31:24 GMT<p>Along the same lines, and with Tim Gowers as author, too: https://arxiv.org/html/2412.15184v1</p><p><a href="https://hackerpaper.kaipfister.de/p/2412.15184/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LG