Zulip Chat Archive
Stream: general
Topic: Discussion: Goedel-Prover-V2: A new SOTA model
Notification Bot (Jul 16 2025 at 14:31):
This topic was moved to #Machine Learning for Theorem Proving > Discussion: Goedel-Prover-V2: A new SOTA model by Matthew Ballard.
Last updated: Dec 20 2025 at 21:32 UTC