Zulip Chat Archive
Stream: general
Topic: any "open training data; open training code" IMO solvers ?
Notification Bot (Nov 29 2025 at 09:12):
This topic was moved to #Machine Learning for Theorem Proving > any "open training data; open training code" IMO solvers ? by Patrick Massot.
Last updated: Dec 20 2025 at 21:32 UTC