The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026)

The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor 2026-10 Association for Computational Linguistics Budapest, Hungary text conference publication 979-8-89176-468-2 mathnlp-2026-main https://aclanthology.org/2026.mathnlp-main.0/ Beyond Better Helpers: A Shared-Kernel Study of Symbolic Interfaces for Auditable LLM Algebra Norio Kosaka author Genki Osada author Shinichi Higashino author Shuji Yamaguchi author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 kosaka-etal-2026-beyond https://aclanthology.org/2026.mathnlp-main.1/ 2026-10 1 12 Hard or Just Unreached? Diagnosing the Sampling Blind Spot in Math-Reasoning Difficulty Estimation Luca Zhou author Sajel Shah author Emanuele Rodolà author Roberto Dessi author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 zhou-etal-2026-hard https://aclanthology.org/2026.mathnlp-main.2/ 2026-10 13 29 BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints Ruslan Khrulev author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 khrulev-2026-blueprintrepair https://aclanthology.org/2026.mathnlp-main.3/ 2026-10 30 41 From Recognition to Reconstruction: Towards Robust Procedural Mathematical Reasoning Fateme Mazdarani author Carlos Toxtli author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 mazdarani-toxtli-2026-recognition https://aclanthology.org/2026.mathnlp-main.4/ 2026-10 42 56 Elision Markers in Mathematical Prose: Language Models Respond to Claimed Effort Rather Than Hidden Derivation Depth Md. Faisal Sheikh author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 sheikh-2026-elision https://aclanthology.org/2026.mathnlp-main.5/ 2026-10 57 68 AMIR-GRPO: Inducing Implicit Preference Signals into GRPO Amir Hossein Yari author Fajri Koto author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 yari-koto-2026-amir https://aclanthology.org/2026.mathnlp-main.6/ 2026-10 69 85 The Cost of Incoherent Context Grows with Capability: A Control for Exemplar Retrieval Srinivas Harish author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 harish-2026-cost https://aclanthology.org/2026.mathnlp-main.7/ 2026-10 86 100 InvariantSpec: Benchmarking LLM Autoformalization of Conservation and Dissipation Laws into Verifiable State-Space Constraints Hikaru Matsuoka author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 matsuoka-2026-invariantspec https://aclanthology.org/2026.mathnlp-main.8/ 2026-10 101 111 MathQueue: Reasoning Scheduling Helps Only Within a Narrow Budget, and Answer Extraction Decides Whether It Helps at All Jonghyun Lee author Byungjun Kim author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 lee-kim-2026-mathqueue https://aclanthology.org/2026.mathnlp-main.9/ 2026-10 112 125 Typed Neuro-Symbolic Autoformalization of Quantitative Clinical Language: Executable Constraints and Selective Verification Aleksandra Beliaeva author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 beliaeva-2026-typed https://aclanthology.org/2026.mathnlp-main.10/ 2026-10 126 135 Which Mathematical Context Supports Target-Aligned Conjecture Generation? A Paired Ablation Study Austin LaHue author Michael Burr author Luis David Garcia Puente author Vinita Gangaram Jansari author Benjamin E Nye author Carlos Toxtli Hernandez author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 lahue-etal-2026-mathematical https://aclanthology.org/2026.mathnlp-main.11/ 2026-10 136 151 The Connective but in Informal Mathematical Proof: A Corpus-Based Study Rinta Yamada author Sakiko Yamasaki author Risako Ando author Takayuki Amamoto author Ryota Akiyoshi author Koji Mineshima author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 yamada-etal-2026-connective https://aclanthology.org/2026.mathnlp-main.12/ 2026-10 152 166 NaturalPRISM: A Natural Language Premise Retrieval Task for Research-level Intermediate Proof States Harris Proctor author Li An author Austin LaHue author Michael Burr author Vinita Gangaram Jansari author Carlos Toxtli Hernandez author Luis David Garcia Puente author Benjamin E Nye author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 proctor-etal-2026-naturalprism https://aclanthology.org/2026.mathnlp-main.13/ 2026-10 167 176 Improving Natural-Language Combinatorial-Optimization Accuracy in Resource-Constrained Language Models via Formal Abstractions Shrenil Shaun Sharma author Avi Sharma author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 sharma-sharma-2026-improving https://aclanthology.org/2026.mathnlp-main.14/ 2026-10 177 193 Structural Signatures of Correct Mathematical Reasoning Traces Maria Marina author Alexander Panchenko author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 marina-panchenko-2026-structural https://aclanthology.org/2026.mathnlp-main.15/ 2026-10 194 200 Simulating Student-Tutor Interactions with LLMs for Multilingual Math Feedback Junior Cedric Tonga author Kv Aditya Srivatsa author Kaushal Kumar Maurya author Fajri Koto author Ekaterina Kochmar author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 tonga-etal-2026-simulating https://aclanthology.org/2026.mathnlp-main.16/ 2026-10 201 215 Beyond Accuracy: Diagnosing Algebraic Reasoning Failures in LLMs Across Nine Complexity Dimensions Parth Shrikant Patil author Yash Sinha author Murari Mandal author Dhruv Kumar author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 patil-etal-2026-beyond https://aclanthology.org/2026.mathnlp-main.17/ 2026-10 216 239 Same Text, Different Transitions: Action Insufficiency in Lean Provers Edison Yang author Neel Marripalapu author Akshaj Agadi author Andrew Kim author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 yang-etal-2026-text https://aclanthology.org/2026.mathnlp-main.18/ 2026-10 240 253 Scoring-Location Sensitivity in Process Reward Models Jai Kumar Sharma author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 sharma-2026-scoring https://aclanthology.org/2026.mathnlp-main.19/ 2026-10 254 267 Embedding-Based Educational Taxonomies Kia Karbasi author Kaveh Karbasi author Gregory Pottie author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 karbasi-etal-2026-embedding https://aclanthology.org/2026.mathnlp-main.20/ 2026-10 268 284 Numbers Through Signs: How LLMs Connect Counts, Number Words, and Numerals J Albert Yoo author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 yoo-2026-numbers https://aclanthology.org/2026.mathnlp-main.21/ 2026-10 285 290 Definition Modeling for Mathematics: Understanding Audience Bias and its Problem Solving Relevance Carolina Dias-Alexiou author Edison Marrese-Taylor author A Solano author Yutaka Matsuo author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 dias-alexiou-etal-2026-definition https://aclanthology.org/2026.mathnlp-main.22/ 2026-10 291 304 Who Should Decide Mathematical NLI? Auditing Evidence Selection, Solver Gating, and Benchmark Shortcuts Soumyadeep Nag author Suparnojit Sarkar author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 nag-sarkar-2026-decide https://aclanthology.org/2026.mathnlp-main.23/ 2026-10 305 311 Proof Identity and Divisible Correspondence in Multi-Derivation Reasoning Evaluation Toprak Seda Karaosmanoğlu author 2026-10 text The Proceedings of the 4th Workshop on Mathematical Natural Language Processing (MathNLP 2026) Marco Valentino editor Deborah Ferreira editor Mokanarangan Thayaparan editor Leonardo Ranaldi editor Jo-Ku Cheng editor Andre Freitas editor Association for Computational Linguistics Budapest, Hungary conference publication 979-8-89176-468-2 karaosmanoglu-2026-proof https://aclanthology.org/2026.mathnlp-main.24/ 2026-10 312 321