SqueezeBench: Saturation-Resilient Evaluation of Mathematical Capability
cs.AI, cs.LG, cs.LO
Submitted: 2026-10-09
Updated: 2026-10-09
Code: https://github.com/leansolving/SqueezeBench
Project page: https://teorth.github.io/optimizationproblems
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Sources
- FrontierMath Erd s
- ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
- Harnessing the Collective Intelligence of AI Agents in the Wild for New Discoveries
- PatternBoost: Constructions in Mathematics with a Little Help from AI
- Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
- Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erd\H{o}s Problems
- Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
- SorryDB: Can AI Provers Complete Real-World Lean Theorems?
- CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
- AlphaEvolve: A coding agent for scientific and algorithmic discovery
- Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification
- FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
Related papers
- MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
- Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
- Agents' Last Exam
- The Clinician's Veto: Navigating Trust, Liability, and Uncertainty in Autonomous AI Prescribing
- MindHelper: Closed-Loop Embodied Mental-State Reasoning for Precision Intervention
- Incumbent Advantage: Brand Bias and Cognitive Manipulation Dynamics in LLM Recommendation Systems