PulseAugur
实时 02:18:09
English(EN) PluraMath: Extending Mathematical Reasoning Evaluation Beyond High-Resource Languages

新的基准和工具提升了LLM的数学推理能力 · 跟踪6个来源

研究人员为大型语言模型(LLMs)在数学推理方面引入了新的基准和评估方法。MIRA-Math侧重于最小化信息请求,模型必须请求一个缺失的事实来解决数学问题。此外,PluraMath扩展了现有的多语言基准,以包含代表性不足的语言,突显了高资源和低资源语言环境之间的性能差距。另外,一项评估SageMath增强型LLM代理的研究表明,当这些模型能够访问计算工具时,性能会显著提高,其中Qwen 3.7-Max和GPT-5.5表现出显著的改进。 AI

影响 这些基准和工具集成方面的进步对于开发更强大、更可靠的LLM以应对复杂的数学和科学任务至关重要。

排序理由 多篇研究论文介绍了用于LLM数学推理的新基准和评估方法。

在 Hugging Face Daily Papers 阅读 →

AI 生成摘要 · Google Gemini · 来自 7 个来源。 我们如何撰写摘要 →

新的基准和工具提升了LLM的数学推理能力 · 跟踪6个来源

报道来源 [7]

  1. arXiv cs.AI TIER_1 English(EN) · Charbel Al Bateh, Samer Saab Jr ·

    MIRA-Math:最小信息请求和数学推理的基准测试

    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…

  2. arXiv cs.AI TIER_1 English(EN) · Pavel Snopov, German Magai ·

    评估SageMath增强的LLM代理在计算和实验数学中的应用

    arXiv:2607.06820v1 Announce Type: new Abstract: Recent advances in AI for Mathematics have focused largely on autoformalization and theorem proving, leaving the role of Computer Algebra Systems (CAS) in agentic LLM workflows underexplored. We propose a ReAct-style agentic setup t…

  3. arXiv cs.AI TIER_1 English(EN) · Samer Saab ·

    MIRA-Math:最小信息请求和数学推理的基准测试

    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 mathema…

  4. arXiv cs.AI TIER_1 English(EN) · Daryna Dementieva, Nikolay Babakov, Kathy H\"ammerl, Ilseyar Alimova, Jind\v{r}ich Libovick\'y, Shu Okabe, Miras Baisbay, Lukas Edman, Abrorkhon Inomkhujaev, Antonia Karamolegkou, Mateusz Lango, Volkan \"Ozer, Nikola Selic, Subhankar Swain, Tsedeniya Kin… ·

    PluraMath: 将数学推理评估扩展到高资源语言之外

    arXiv:2607.05992v1 Announce Type: cross Abstract: Mathematical reasoning has become a central task for evaluating and tuning reasoning Large Language Models (LLMs), yet existing benchmarks remain heavily biased toward high-resource languages, with English and Chinese dominating b…

  5. arXiv cs.AI TIER_1 English(EN) · Husnain Amjad, Raja Khurram Shahzad, Aamir Shahzad, Mehwish Fatima ·

    大型语言模型中的数学推理:基准、架构、评估和开放性挑战

    arXiv:2605.19723v2 Announce Type: replace-cross Abstract: Mathematical reasoning is essential for problem-solving in education, science, and industry, serving as a crucial benchmark for evaluating artificial intelligence systems. As Large Language Models (LLMs) improve their reas…

  6. arXiv cs.AI TIER_1 English(EN) · Alexander Fraser ·

    PluraMath: 将数学推理评估扩展到高资源语言之外

    Mathematical reasoning has become a central task for evaluating and tuning reasoning Large Language Models (LLMs), yet existing benchmarks remain heavily biased toward high-resource languages, with English and Chinese dominating both pre-training corpora and evaluation suites. Th…

  7. Hugging Face Daily Papers TIER_1 English(EN) ·

    PluraMath: 将数学推理评估扩展到高资源语言之外

    PluraMath extends the PolyMath dataset to 18 underrepresented languages, revealing persistent gaps in multilingual mathematical reasoning performance between high-resource and low-resource languages.