Tag
Introduces MIRA-Math, a benchmark that isolates and evaluates a model's ability to recognize missing atomic facts, request them precisely in natural language, and integrate the returned information into a correct final answer, using deterministic instance generation and a fixed constrained responder.