Terminal-style Mathematical Modeling Bench: The First Agentic and Verifiable Benchmark for Mathematical Modeling
Organizations: IDEA Research · The Hong Kong University of Science and Technology (Guangzhou) · DataArcTech Ltd.
Abstract
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 agent returns one JSON artifact, scored on the numeric core of the final question against a reproduction of the Outstanding-award paper. Two design choices distinguish it: direction-aware, one-sided scoring, which never penalises beating the anchor, and two-layer feasibility verification---a programmatic gate over six decidable invariant forms plus 624 Lean~4 obligations---with a hard gate that zeroes infeasible answers. Each task is scored against a panel of human outstanding papers rather than one, so a model must be close to many accepted answers; across seven multimodal entries (three seeds each) the strongest reach a multi-reference O-Eval of 64.58%, while the $2.54 open model holds 59.81% at the cost. TB-MathModel turns the numeric core of modeling into a reproducible, machine-checkable signal for measuring long-horizon modeling competence and for collecting agent trajectories. The source code is available at https://github.com/wxj630/terminal-bench-math-modeling.
Figures & tables
| Benchmark | #Tasks | #Fig. | Evaluation signal | Agentic | Physical | Lean | Multimodal |
|---|---|---|---|---|---|---|---|
| Mamo Huang et al. (2025b) | 1209 | – | Solver check | ✗ | ✗ | ✗ | ✗ |
| ModelingBench Qian et al. (2025) | 68 | – | LLM judge | ✗ | ✗ | ✗ | ✗ |
| MM-Bench Liu et al. (2025) | 111 | – | LLM judge | ✗ | ✗ | ✗ | ✗ |
| TB-MathModel (ours) | 18 | 21 | Executable verifier | ✓ | ✓ | ✓ | ✓ |
| Model + harness | Art. | O-Eval (%) | Multi-BO | Cost (USD) |
|---|---|---|---|---|
| GPT-6 Astra + codex | 18 | 246.41 | ||
| Fable 5.1 + claude-code | 18 | 272.80 | ||
| DeepSeek-Flash + opencode | 18 | 2.54 | ||
| GPT-5.5 xhigh + codex | 18 | 99.37 | ||
| Kimi K3 + opencode | 18 | 23.26 | ||
| GLM-5.3 + opencode | 18 | 28.15 |
| Harness | O-Eval (%) | Multi-BO |
|---|---|---|
| opencode | ||
| claude-code | ||
| codex | ||
| DeepSeek (native) |
Appendix figures & tables12 assets
Supplementary material from the paper’s appendix.
Appendix
| Slug | Contest | Topic | Final Q |
|---|---|---|---|
| cumcm-2023-a-heliostat | CUMCM 2023 A | Heliostat field design | Q3 |
| cumcm-2023-b-multibeam | CUMCM 2023 B | Multibeam survey lines | Q4 |
| cumcm-2023-c-vegetable | CUMCM 2023 C | Vegetable pricing and replenishment | Q4 |
| cumcm-2024-a-dragon | CUMCM 2024 A | Bench-dragon kinematics | Q5 |
| cumcm-2024-b-production | CUMCM 2024 B | Production decision | Q4 |
| cumcm-2024-c-crop | CUMCM 2024 C | Crop-planting strategy | Q1 |
| Slug | Final Q | Source | #Fig. | #Metric |
|---|---|---|---|---|
| cumcm-2023-a-heliostat | Q3 | CUMCM 2023 A | 2 | 5 |
| cumcm-2023-b-multibeam | Q4 | CUMCM 2023 B | 8 | 4 |
| cumcm-2023-c-vegetable | Q4 | CUMCM 2023 C | 0 | 2 |
| cumcm-2024-a-dragon | Q5 | CUMCM 2024 A | 5 | 2 |
| cumcm-2024-b-production | Q4 | CUMCM 2024 B | 1 | 6 |
| cumcm-2024-c-crop | Q1 | CUMCM 2024 C | 0 | 2 |
| Task | GPT-6 Astra | Fable 5.1 | GPT-5.5 xhigh | DeepSeek-Flash |
|---|---|---|---|---|
| cumcm-2023-a-heliostat | 86.2 | 80.7 | 80.5 | 80.2 |
| cumcm-2023-b-multibeam | 94.0 | 80.5 | 91.7 | 59.3 |
| cumcm-2023-c-vegetable | 64.3 | 64.3 | 64.3 | 64.3 |
| cumcm-2024-a-dragon | 83.4 | 83.4 | 83.4 | 83.4 |
| cumcm-2024-b-production | 95.7 | 80.5 | 87.2 | 87.2 |
| cumcm-2024-c-crop | 88.2 | 83.5 | 99.7 | 63.8 |
| Model | Harness / tier | Art. | O-Eval (%) | Multi-BO |
|---|---|---|---|---|
| GPT-6 Astra | codex CLI / max | 18 | ||
| Fable 5.1 | claude-code CLI / max | 18 | ||
| GPT-5.5 xhigh | codex CLI / xhigh | 18 | ||
| DeepSeek-Flash | opencode CLI / high | 18 | ||
| Kimi K3 | opencode CLI / high | 18 | ||
| GLM-5.3 | opencode CLI / high | 18 |
| Slug | Paper id | Slug | Paper id |
|---|---|---|---|
| cumcm-2023-a-heliostat | A175 | mcm-2023-a-plant | 2309229 |
| cumcm-2023-b-multibeam | B226 | mcm-2023-b-maasai | 2315379 |
| cumcm-2023-c-vegetable | C050 | mcm-2023-c-wordle | 2307946 |
| cumcm-2024-a-dragon | A016 | mcm-2024-a-lamprey | 2407093 |
| cumcm-2024-b-production | B159 | mcm-2024-b-submersible | 2419984 |
| cumcm-2024-c-crop | C038 | mcm-2024-c-tennis | 2401298 |
| Quantity | Oracle (anchor) | GPT-5.5 | DeepSeek V4.1 |
|---|---|---|---|
| max_head_speed_mps | 1.246266 | 1.24626636 | 1.24626636 |
| max_speed_ratio | 1.604793 | 1.60479338 | 1.60479338 |
| Quantity (yuan, 7-year) | Anchor (exact MILP) | GPT-5.5 | DeepSeek V4.1 |
|---|---|---|---|
| waste-surplus profit | 40,418,877 | 40,320,587 | 41,559,515 |
| 50%-discount profit | 58,718,967 | 66,485,662 | 70,378,276 |
| Quantity | Anchor | GPT-5.5 | DeepSeek V4.1 | Fable 5.1 |
|---|---|---|---|---|
| daily cap | 11,000 | 20,000 | 16,000 | 14,000 |
| visitor fee (USD) | 55 | 20 | 30 | 30 |
| annual visitors (M) | 1.492 | 1.453 | 1.434 | 1.728 |
| resident acceptance | 1.000 | 0.743 | 0.938 | 0.696 |
| sustainability score | 1.007 | 0.900 | 0.706 | 79.1 |
| total revenue ($M) | 431.6 | 369.6 | 366.7 | 458.5 |
| Form | Example obligation |
|---|---|
| domain / range | probability ; thickness |
| integer / binary | decision bits ; counts integer |
| ordering | mean; peak average |
| exact identity | area count w h; union |
| finite domain | decision-bit count |
| partition / sum | land-use counts sum to the grid |
| Level | Content | Layer |
|---|---|---|
| A — unit / range | probability , thickness | gate + Lean |
| B — consistency | area count w h; partitions sum | gate + Lean |
| C — physical truth | does this field really produce 60 MW? | neither |
| Task | Oblig. | Skipped | Task | Oblig. |
|---|---|---|---|---|
| cumcm-2023-a-heliostat | 12 | 0 | mcm-2023-a-plant | 66 |
| cumcm-2023-b-multibeam | 3 | 1 | mcm-2023-b-maasai | 17 |
| cumcm-2023-c-vegetable | 7 | 0 | mcm-2023-c-wordle | 3 |
| cumcm-2024-a-dragon | 3 | 0 | mcm-2024-a-lamprey | 302 |
| cumcm-2024-b-production | 61 | 0 | mcm-2024-b-submersible | 8 |
| cumcm-2024-c-crop | 5 | 0 | mcm-2024-c-tennis | 7 |
Mathematical Reasoning Benchmarks
Mathematical reasoning benchmarks test whether AI systems can solve, explain, and verify problems across mathematical levels, formats, and languages.
See all 116 papers