mlsanityData to 7 Oct 2026

MARIO Eval: Evaluate Your Math LLM with your Math LLM--A mathematical dataset evaluation toolkit

arXiv 2404.13925 ↗First posted 22 Apr 2024cs.CLcited by 14

Not on the map. Why?

Abstract (arXiv)

Large language models (LLMs) have been explored in a variety of reasoning tasks including solving of mathematical problems. Each math dataset typically includes its own specially designed evaluation script, which, while suitable for its intended use, lacks generalizability across different datasets. Consequently, updates and adaptations to these evaluation tools tend to occur without being systematically reported, leading to inconsistencies and obstacles to fair comparison across studies. To bridge this gap, we introduce a comprehensive mathematical evaluation toolkit that not only utilizes a python computer algebra system (CAS) for its numerical accuracy, but also integrates an optional LLM, known for its considerable natural language processing capabilities. To validate the effectiveness of our toolkit, we manually annotated two distinct datasets. Our experiments demonstrate that the toolkit yields more robust evaluation results compared to prior works, even without an LLM. Furthermore, when an LLM is incorporated, there is a notable enhancement. The code for our method will be made available at urlhttps://github.com/MARIO-Math-Reasoning/mathevaluation.

Key facts. Cited by 14 papers in the map (data through 7 Oct 2026). Builds on 8 of its 10 references that are in the map. First posted on arXiv 22 Apr 2024.

Builds on

8 of 10 references.

References · 8

  1. 2023GPT-4 Technical Reportcited by 18,132
  2. 2021Training Verifiers to Solve Math Word Problemscited by 9,743
  3. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
  4. 2020Generative Language Modeling for Automated Theorem Provingcited by 379
  5. 2021A Diverse Corpus for Evaluating and Developing English Math Word Problem Solverscited by 314
  6. 2023ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solvingcited by 276
  7. 2024MARIO: MAth Reasoning with code Interpreter Output -- A Reproducible Pipelinecited by 81
  8. 2023MathChat: Converse to Tackle Challenging Math Problems with LLM Agentscited by 67

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2024: 8; 2025: 4; 2026: 2.

14 papers.

Sort:

By area: