OpenReview.net

Login

Back to NeurIPS

NeurIPS 2025 Workshop MATH-AI Submissions

Loading

About OpenReview
Hosting a Venue
All Venues

Contact
Sponsors
Donate

FAQ
Terms of Use / Privacy Policy
News

About OpenReview
Hosting a Venue
All Venues
Sponsors
News

FAQ
Contact
Donate
Terms of Use
Privacy Policy

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2026 OpenReview

RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows
Hamed Mahdavi, Pouria Mahdavinia, Pegah Mohammadipour, Samira Malek, Alireza Farhadi, Majid Daliri, Alireza Hashemi, Niloofar Mireshghallah, Amir Khasahmadi, Vasant G. Honavar
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
A Toolbox, Not a Hammer -- Multi-TAG: Scaling Math Reasoning with Multi-Tool Aggregation
Bohan Yao, Vikas Yadav
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Patching Gaps In LLM Reasoning With Interventional Training
Matthew Y. R. Yang, Hao Bai, Ian Wu, Gene Yang, Amrith Setlur, Aviral Kumar
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Learning to Reason on Hard Problems with Privileged On-Policy Exploration
Yuxiao Qu, Amrith Setlur, Virginia Smith, Ruslan Salakhutdinov, Aviral Kumar
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline
Yichen Huang, Lin F. Yang
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
A NUMA Aware Compiler Framework for Large Scale Mathematical Reasoning Inference on PCIe Based Multi Accelerator Systems
JooHyoung Cha, Yongin Kwon
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Local Coherence or Global Validity? Investigating RLVR Traces in Math Domains
Soumya Rani Samineni, Durgesh Kalwar, Vardaan Gangal, Siddhant Bhambri, Subbarao Kambhampati
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Fractional Reasoning via Latent Steering Vectors Improves Inference Time Compute
Sheng Liu, Tianlang Chen, Pan Lu, Haotian Ye, Yizheng Chen, Lei Xing, James Zou
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
FractalBench: Diagnosing Visual-Mathematical Reasoning Through Recursive Program Synthesis
Jan Ondras, Marek Suppa
- Published: 30 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Think, Align, Select: Query–Key Scores for LLM Reasoning
Mark Obozov, Eduard Tulchinskii, Kristian Kuznetsov, Michael Diskin, Serguei Barannikov
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Exact Learning of Arithmetic with Differentiable Agents
Hristo Papazov, Francesco D'Angelo, Nicolas Flammarion
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Reinforcement Learning for Hierarchical Proof Generation in Lean 4
Fabian Gloeckle, Alex Gu, Gabriel Synnaeve, Amaury Hayat
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Limits of Generalization in RLVR: Two Case Studies in Mathematical Reasoning
Md Tanvirul Alam, Nidhi Rastogi
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Skill-Aware Data Selection and Fine-Tuning for Data-Efficient Reasoning Distillation
Lechen Zhang, Yunxiang Zhang, Wei Hu, Lu Wang
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
ARM: Discovering Agentic Reasoning Modules for Mathematical Problem-Solving
Bohan Yao, Shiva Krishna Reddy Malay, Vikas Yadav
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
DiagramIR: An Automatic Pipeline for Educational Math Diagram Evaluation
Vishal Kumar, Shubhra Mishra, Rebecca Hao, Rizwaan Malik, David Broman, Dorottya Demszky
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Layer Importance for Mathematical Reasoning is Forged in Pre-Training and Invariant after Post-Training
Aadim Nepal, Safal Shrestha, Anubhav Shrestha, Minwu Kim, Jalal Naghiyev, Ravid Shwartz-Ziv, Keith W. Ross
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Why GRPO Needs Normalization: A Local-Curvature Perspective on Adaptive Gradients
Cheng Ge, Caitlyn Heqi Yin, Hao Liang, Jiawei Zhang
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
In Good GRACES: Principled Teacher Selection for Knowledge Distillation
Abhishek Panigrahi, Bingbin Liu, Sadhika Malladi, Sham M. Kakade, Surbhi Goel
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs
Alexander Chervov, Dmytro Fedoriaka, Mark Obozov, Elena V. Konstantinova, Anton Naumov, Igor Kiselev, Anastasia Sheveleva, Ivan Koltsov, Sergei Lytkin, Andrei Smolensky, Alexander Soibelman, Fedor Levkovich-Maslyuk, Ruslan Grimov, Dmitry Volovich, Artem Isakov, Anton Kostin, Michael Litvinov, Nick Vilkin-Krom, Alim Bidzhiev, Artem Krasnyi et al. (28 additional authors not shown)
Faults in our Formal Benchmarks
Pawan Sasanka Ammanamanchi, Siddharth Bhat
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Evaluating Spatial Reasoning in Language Models
Aarush Gupta
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
Unspoken Logic: Understanding and bridging the gap between free-form and LLM-interpretable natural language mathematical proofs
Chenjun Guo, Manooshree Patel, Bjoern Hartmann, J.D. Zamfirescu-Pereira, Sarah Chasins, Gireeja Ranade
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
ProofGym: Unifying LLM-Based Theorem Proving Across Formal Systems
Xinrui Li, Wenjie Ma, Hangrui Bi, Zhaoyu Li, Xujie Si, Kaiyu Yang
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone
CoDaPO: Confidence and Difficulty-Adaptive Policy Optimization for Language Models
Zhanke Zhou, Xiangyu Lu, Chentao Cao, Brando Miranda, Tongliang Liu, Bo Han, Sanmi Koyejo
- Published: 17 Oct 2025, Last Modified: 21 Nov 2025
- MATH-AI 2025 Poster
- Readers: Everyone

«
‹
1
2
3
4
5
6
7
›
»

Published: 17 Oct 2025, Last Modified: 21 Nov 2025
MATH-AI 2025 Poster
Readers: Everyone