AI benchmarks and leaderboards are different things
Learn the difference between a benchmark, an evaluation run and a leaderboard, and use each to answer the right question.
OpenCompass Hub
CombiBench
We introduce CombiBench, a comprehensive benchmark comprising 100 combinatorial problems, each formalized in Lean4 and paired with its corresponding informal statement. The problem set covers a wide spectrum of difficulty levels, ranging from middle school to IMO and university level.
Evaluation context and evidence
- Source
- OpenCompass Hub
- Publisher
- AMSS, SYSU, Moonshot AI, Numina
- Benchmark release
- 2025-04-28
- Collected
- 2026-08-18
- Modality
- Not recorded
These are source-reported observations, not independent reruns by this site. Check the task version, evaluation protocol, unit and reporting date before comparing models. Results from different setups are not a universal ranking.
Original sources
Reported results 0
This source record has no numeric results in our collection. That does not mean a score of zero or that no public results exist. Consult the original resources above.