Zulip Chat Archive
Stream: general
Topic: A dataset of proofs for 20 IMO problems and extracted lemmas
Notification Bot (Mar 04 2025 at 04:53):
This topic was moved to #Machine Learning for Theorem Proving > A dataset of proofs for 20 IMO problems and extracted lemmas by Kim Morrison.
Last updated: May 02 2025 at 03:31 UTC