@proceedings{mathnlp-ws-2025-main,
    title = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.0/",
    doi = "10.18653/v1/2025.mathnlp-main.0",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{williamson-etal-2025-syntactic,
    title = "Syntactic Blind Spots: How Misalignment Leads to {LLM}s' Mathematical Errors",
    author = "Williamson, Dane A  and
      Ji, Yangfeng  and
      Dwyer, Matthew B.",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.1/",
    doi = "10.18653/v1/2025.mathnlp-main.1",
    pages = "1--14",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{lin-etal-2025-step,
    title = "Step-{KTO}: Optimizing Mathematical Reasoning through Stepwise Binary Feedback",
    author = "Lin, Yen-Ting  and
      Jin, Di  and
      Xu, Tengyu  and
      Wu, Tianhao  and
      Sukhbaatar, Sainbayar  and
      Zhu, Chen  and
      He, Yun  and
      Chen, Yun-Nung  and
      Weston, Jason E  and
      Tian, Yuandong  and
      Rahnama, Arash  and
      Wang, Sinong  and
      Ma, Hao  and
      Fang, Han",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.2/",
    doi = "10.18653/v1/2025.mathnlp-main.2",
    pages = "15--33",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{zoumpoulidi-etal-2025-bloomwise,
    title = "{B}loom{W}ise: Enhancing Problem-Solving capabilities of Large Language Models using Bloom{'}s-Taxonomy-Inspired Prompts",
    author = "Zoumpoulidi, Maria-Eleni  and
      Paraskevopoulos, Georgios  and
      Potamianos, Alexandros",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.3/",
    doi = "10.18653/v1/2025.mathnlp-main.3",
    pages = "34--49",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{wang-etal-2025-scalability,
    title = "Scalability of {LLM}-Based Multi-Agent Systems for Scientific Code Generation: A Preliminary Study",
    author = "Wang, Yuru  and
      Zhang, Kaiyan  and
      Tian, Kai  and
      Zeng, Sihang  and
      Lv, Xingtai  and
      Ding, Ning  and
      Qi, Biqing  and
      Zhou, Bowen",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.4/",
    doi = "10.18653/v1/2025.mathnlp-main.4",
    pages = "50--61",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{fatima-2025-firma,
    title = "{FIRMA}: Bidirectional Formal-Informal Mathematical Language Alignment with Proof-Theoretic Grounding",
    author = "Fatima, Maryam",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.5/",
    doi = "10.18653/v1/2025.mathnlp-main.5",
    pages = "62--76",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{khrulev-2025-check,
    title = "{CHECK}-{MAT}: Probing the Mathematical Reasoning and Rubric-Alignment of Vision-Language Models on Handwritten Solutions",
    author = "Khrulev, Ruslan",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.6/",
    doi = "10.18653/v1/2025.mathnlp-main.6",
    pages = "77--94",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{cosma-etal-2025-romath,
    title = "{R}o{M}ath: A Mathematical Reasoning Benchmark in {R}omanian",
    author = "Cosma, Adrian  and
      Bucur, Ana-Maria  and
      Radoi, Emilian",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.7/",
    doi = "10.18653/v1/2025.mathnlp-main.7",
    pages = "95--111",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{fernando-lopez-ponce-bel-enguix-2025-limits,
    title = "Into The Limits of Logic: Alignment Methods for Formal Logical Reasoning",
    author = "L{\'o}pez-Ponce, Francisco F.  and
      Bel-Enguix, Gemma",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.8/",
    doi = "10.18653/v1/2025.mathnlp-main.8",
    pages = "112--123",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{li-2025-formula,
    title = "Formula-Text Cross-Retrieval: A Benchmarking Study of Dense Embedding Methods for Mathematical Information Retrieval",
    author = "Li, Zichao",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.9/",
    doi = "10.18653/v1/2025.mathnlp-main.9",
    pages = "124--133",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{prama-etal-2025-banglamath,
    title = "{B}angla{MATH} : A {B}angla benchmark dataset for testing {LLM} mathematical reasoning at grades 6, 7, and 8",
    author = "Prama, Tabia Tanzin  and
      Danforth, Christopher M.  and
      Dodds, Peter",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.10/",
    doi = "10.18653/v1/2025.mathnlp-main.10",
    pages = "134--149",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{ma-hu-2025-logically,
    title = "Logically Constrained Decoding",
    author = "Ma, Franklin  and
      Hu, Alan J.",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.11/",
    doi = "10.18653/v1/2025.mathnlp-main.11",
    pages = "150--167",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{samoylov-vosoughi-2025-modeling,
    title = "Modeling Tactics as Operators: Effect-Grounded Representations for Lean Theorem Proving",
    author = "Samoylov, Elisaveta  and
      Vosoughi, Soroush",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.12/",
    doi = "10.18653/v1/2025.mathnlp-main.12",
    pages = "168--175",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{lu-etal-2025-unimath,
    title = "{U}ni{M}ath-{C}o{T}: A Unified Framework for Multimodal Mathematical Reasoning with Re-Inference Affirmation",
    author = "Lu, Zhixiang  and
      Zhou, Mian  and
      Stefanidis, Angelos  and
      Su, Jionglong",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.13/",
    doi = "10.18653/v1/2025.mathnlp-main.13",
    pages = "176--185",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{dias-alexiou-etal-2025-depth,
    title = "An in-depth human study of the mathematical reasoning abilities in Large Language Models",
    author = "Dias-Alexiou, Carolina  and
      Marrese-Taylor, Edison  and
      Matsuo, Yutaka",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.14/",
    doi = "10.18653/v1/2025.mathnlp-main.14",
    pages = "186--194",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{obozov-etal-2025-synthetic,
    title = "Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for {LLM} Mathematics with Lean",
    author = "Obozov, Mark  and
      Diskin, Michael  and
      Beznosikov, Aleksandr  and
      Gasnikov, Alexander  and
      Barannikov, Serguei",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.15/",
    doi = "10.18653/v1/2025.mathnlp-main.15",
    pages = "195--202",
    ISBN = "979-8-89176-348-7"
}
@inproceedings{baeumel-etal-2025-disentangling,
    title = "Disentangling Mathematical Reasoning in {LLM}s: A Methodological Investigation of Internal Mechanisms",
    author = "Baeumel, Tanja  and
      van Genabith, Josef  and
      Ostermann, Simon",
    editor = "Valentino, Marco  and
      Ferreira, Deborah  and
      Thayaparan, Mokanarangan  and
      Ranaldi, Leonardo  and
      Freitas, Andre",
    booktitle = "Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/credits/2025.mathnlp-main.16/",
    doi = "10.18653/v1/2025.mathnlp-main.16",
    pages = "203--217",
    ISBN = "979-8-89176-348-7"
}