Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

Topic: MATH AI

Jason Rute (Oct 19 2024 at 14:34):

The accepted papers for the MATH-AI workshop have been released on OpenReview.

Last updated: Feb 28 2026 at 14:05 UTC