Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: CombiBench benchmark
Jason Rute (Apr 28 2025 at 22:31):
Cross-posting so people don't miss it. Moonshot AI announced a new Lean benchmark here: #general > CombiBench : A benchmark focusing on combinatorics problem
Last updated: May 02 2025 at 03:31 UTC