Research· AI-written
TB-MathModel benchmarks mathematical modeling agents with containerized verifiers
Researchers introduced TB-MathModel, a benchmark that tests AI agents on 18 contest-level mathematical modeling problems using verifiable code, feasibility checks, and reference papers.
Nov 8, 2026 · 4 min read