SPIN Unprocessed July 9, 2026 ai_technology research
MIRA-Math: A Benchmark for Minimal Information Requesting and Mathematical Reasoning
View original on arxiv.orgOverview
arXiv:2607.07391v1 Announce Type: new Abstract: Mathematical reasoning benchmarks typically provide all facts needed to solve each problem, while interactive benchmarks often mix reasoning with tools, retrieval, and long-horizon dialogue. We introduce MIRA-Math, a benchmark for a narrower diagnostic capability: solving mathematical problems whose full latent state has a unique answer, but whose solver-facing view is missing exactly one necessary atomic fact. The solver must request the missing i
SpinGraph analysis pending — check back after processing.
Ask AI about this story
Opens with the SpinGraph .md URL and structured context — one click, prompt included.
More from arXiv Artificial Intelligence
View all →- InductWave: Inductive Multi-Hop Logical Query Answering on Knowledge Graphs
- Reason Less, Verify More: Deterministic Gates Recover a Silent Policy-Violation Failure Mode in Tool-Using LLM Agents
- Agentic Data Environments
- Physics-Audited Agentic Discovery in Scientific Machine Learning
- From Atomic Actions to Standard Operating Procedures: Iterative Tool Optimization for Self-Evolving LLM Agents
- Reasoning Consistency Scanning: A Framework for Auditing Chain-of-Thought Validity in AI Safety Evaluations
Markdown (.md) · JSON-LD schema (.json) · Machine-readable for AI & GEO