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