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
miniCTX
A context-rich benchmark for evaluating neural theorem proving in realistic scenarios, providing premises, full context, multi-source benchmark, and temporal splits, enabling evaluation of a model's ability to work with context that evolves over time.
Evaluation context and evidence
- Source
- OpenCompass Hub
- Publisher
- Carnegie Mellon University
- Benchmark release
- 2024-08-03
- 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.