Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: AI for Mathematics (AI4Math) Papers
Jason Rute (Jun 30 2024 at 15:57):
I found an interesting repository by @Haocheng Ju which seems to be a (mostly) up-to-date list of papers on AI for Mathematics. https://github.com/j991222/ai4math-papers
Last updated: May 02 2025 at 03:31 UTC