Mathematical modeling turns an open-ended real-world problem into assumptions, a model, a solution, and a defended recommendation, and its answers matter only if they are both close to a credible refe
TB-MathModel is a terminal benchmark that makes complete contest-style mathematical modeling problems agentic and verifiable, scoring final numeric answers against multiple human references with feasibility checks.
Mathematical modeling turns an open-ended real-world problem into assumptions, a model, a solution, and a defended recommendation, and its answers matter only if they are both close to a credible reference and physically feasible; existing benchmarks either score solver fragments or grade reports with an LLM judge, leaving those numbers unchecked. We introduce TB-MathModel (the Terminal-style Mathematical Modeling Bench), the first benchmark to make complete contest-style modeling problems agentic, verifiable, and terminal at once, over 18 real CUMCM and MCM problems (2023--2025). Each task ships the verbatim statement, official attachments, and figures in a containerized terminal; the…
Summary and abstract excerpt via Hugging Face Papers ↗ · arXiv.
Terminal-style Mathematical Modeling Bench: The First Agentic and Verifiable Benchmark for Mathematical Modeling was first seen on Hugging Face · Daily papers on Nov 6, 2026. Since then it has appeared in 24 checks on 3 different days. Its best position was #20 of 30, reached on Nov 7, 09:28 UTC. It is #22 right now, slipping from #21 to #22 over the last 6 checks.
Position on Hugging Face · Daily papers at every check (lower is better).
Best rank per day (UTC).
▲ as reported by Hugging Face.
Archived daily, weekly and monthly lists that include this entry.
Yes. As of Nov 8, 15:28 UTC it is #22, slipping from #21 to #22 over the last 6 checks.
#20 on Hugging Face · Daily papers, on Nov 7, 09:28 UTC. Trendoday checks this list every 120 minutes.
It was first seen on Nov 6, 2026 and has been on the list on 3 days (24 checks) since.