Mathematical Reasoning

Recent momentum

-14%

6 papers in the last 28 days · 0.2% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this topic, kept on the site without email delivery.

Period ending 2026-09-14

2 new papers

A weekly snapshot of new work published in Mathematical Reasoning.

Period ending 2026-09-07

2 new papers

A weekly snapshot of new work published in Mathematical Reasoning.

92 papers

Latest in Mathematical Reasoning

Open your feed →
CardsList
  1. PatiGonit22K: A Comprehensive Dataset for Solving Complex Bengali MWPs

    Jul 24, 2026Swastika Kundu, Azizul Hakim Fayaz, Tashreef MuhammadBanglaMath Problems

  2. AIMO Interpretability Challenge

    Jul 15, 2026Michal Štefánik, Philipp Mondorf, Andreas Waldis +11Mathematical ReasoningOlympiad-Level Problem

  3. TreeThink: A Modular Tree Search Library for Mathematical Reasoning with LLMs

    Jul 13, 2026Burak S. Akbudak, Zeynel A. Uluşan, Can S. Erer +1TheoremTree Search

  4. Benchmarks in Leipzig

    Jun 4, 2026Andrei Balakin, Miklós Bóna, Marie-Charlotte Brandenburg +45Mathematical ReasoningMathematics

  5. Characterizing initial human-AI proof formalization workflows

    Jun 2, 2026Katherine M. Collins, Simon Frieder, Jonas Bayer +14AutoformalizationFormalization

  6. Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning

    May 27, 2026Pauline Bourigault, Xiaotong Ji, Matthieu Zimmer +2AutoformalizationTheorem

  7. Pseudo-Formalization for Automatic Proof Verification

    May 19, 2026Slim Barkallah, Luke Bailey, Kaiyue Wen +2ProofFormalization