@proceedings{mathnlp-2022-mathematical,
    title = "Proceedings of the 1st Workshop on Mathematical Natural Language Processing (MathNLP)",
    editor = "Ferreira, Deborah  and
      Valentino, Marco  and
      Freitas, Andre  and
      Welleck, Sean  and
      Schubotz, Moritz",
    month = dec,
    year = "2022",
    address = "Abu Dhabi, United Arab Emirates (Hybrid)",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/volume-fixes/2022.mathnlp-1.0/",
    doi = "10.18653/v1/2022.mathnlp-1.0"
}
@inproceedings{matsumoto-etal-2022-tracing,
    title = "Tracing and Manipulating intermediate values in Neural Math Problem Solvers",
    author = "Matsumoto, Yuta  and
      Heinzerling, Benjamin  and
      Yoshikawa, Masashi  and
      Inui, Kentaro",
    editor = "Ferreira, Deborah  and
      Valentino, Marco  and
      Freitas, Andre  and
      Welleck, Sean  and
      Schubotz, Moritz",
    booktitle = "Proceedings of the 1st Workshop on Mathematical Natural Language Processing (MathNLP)",
    month = dec,
    year = "2022",
    address = "Abu Dhabi, United Arab Emirates (Hybrid)",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/volume-fixes/2022.mathnlp-1.1/",
    doi = "10.18653/v1/2022.mathnlp-1.1",
    pages = "1--6"
}
@inproceedings{tan-etal-2022-investigating,
    title = "Investigating Math Word Problems using Pretrained Multilingual Language Models",
    author = "Tan, Minghuan  and
      Wang, Lei  and
      Jiang, Lingxiao  and
      Jiang, Jing",
    editor = "Ferreira, Deborah  and
      Valentino, Marco  and
      Freitas, Andre  and
      Welleck, Sean  and
      Schubotz, Moritz",
    booktitle = "Proceedings of the 1st Workshop on Mathematical Natural Language Processing (MathNLP)",
    month = dec,
    year = "2022",
    address = "Abu Dhabi, United Arab Emirates (Hybrid)",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/volume-fixes/2022.mathnlp-1.2/",
    doi = "10.18653/v1/2022.mathnlp-1.2",
    pages = "7--16"
}
@inproceedings{bueno-etal-2022-induced,
    title = "Induced Natural Language Rationales and Interleaved Markup Tokens Enable Extrapolation in Large Language Models",
    author = "Bueno, Mirelle Candida  and
      Gemmell, Carlos  and
      Dalton, Jeff  and
      Lotufo, Roberto  and
      Nogueira, Rodrigo",
    editor = "Ferreira, Deborah  and
      Valentino, Marco  and
      Freitas, Andre  and
      Welleck, Sean  and
      Schubotz, Moritz",
    booktitle = "Proceedings of the 1st Workshop on Mathematical Natural Language Processing (MathNLP)",
    month = dec,
    year = "2022",
    address = "Abu Dhabi, United Arab Emirates (Hybrid)",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/volume-fixes/2022.mathnlp-1.3/",
    doi = "10.18653/v1/2022.mathnlp-1.3",
    pages = "17--24"
}
@inproceedings{cunningham-etal-2022-towards,
    title = "Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs",
    author = "Cunningham, Garett  and
      Bunescu, Razvan  and
      Juedes, David",
    editor = "Ferreira, Deborah  and
      Valentino, Marco  and
      Freitas, Andre  and
      Welleck, Sean  and
      Schubotz, Moritz",
    booktitle = "Proceedings of the 1st Workshop on Mathematical Natural Language Processing (MathNLP)",
    month = dec,
    year = "2022",
    address = "Abu Dhabi, United Arab Emirates (Hybrid)",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/volume-fixes/2022.mathnlp-1.4/",
    doi = "10.18653/v1/2022.mathnlp-1.4",
    pages = "25--32"
}
@inproceedings{spokoyny-etal-2022-numerical,
    title = "Numerical Correlation in Text",
    author = "Spokoyny, Daniel  and
      Wu, Chien-Sheng  and
      Xiong, Caiming",
    editor = "Ferreira, Deborah  and
      Valentino, Marco  and
      Freitas, Andre  and
      Welleck, Sean  and
      Schubotz, Moritz",
    booktitle = "Proceedings of the 1st Workshop on Mathematical Natural Language Processing (MathNLP)",
    month = dec,
    year = "2022",
    address = "Abu Dhabi, United Arab Emirates (Hybrid)",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/volume-fixes/2022.mathnlp-1.5/",
    doi = "10.18653/v1/2022.mathnlp-1.5",
    pages = "33--39"
}
@inproceedings{reusch-lehner-2022-extracting,
    title = "Extracting Operator Trees from Model Embeddings",
    author = "Reusch, Anja  and
      Lehner, Wolfgang",
    editor = "Ferreira, Deborah  and
      Valentino, Marco  and
      Freitas, Andre  and
      Welleck, Sean  and
      Schubotz, Moritz",
    booktitle = "Proceedings of the 1st Workshop on Mathematical Natural Language Processing (MathNLP)",
    month = dec,
    year = "2022",
    address = "Abu Dhabi, United Arab Emirates (Hybrid)",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/volume-fixes/2022.mathnlp-1.6/",
    doi = "10.18653/v1/2022.mathnlp-1.6",
    pages = "40--50"
}
@inproceedings{okur-etal-2022-end,
    title = "End-to-End Evaluation of a Spoken Dialogue System for Learning Basic Mathematics",
    author = "Okur, Eda  and
      Sahay, Saurav  and
      Fuentes Alba, Roddy  and
      Nachman, Lama",
    editor = "Ferreira, Deborah  and
      Valentino, Marco  and
      Freitas, Andre  and
      Welleck, Sean  and
      Schubotz, Moritz",
    booktitle = "Proceedings of the 1st Workshop on Mathematical Natural Language Processing (MathNLP)",
    month = dec,
    year = "2022",
    address = "Abu Dhabi, United Arab Emirates (Hybrid)",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/volume-fixes/2022.mathnlp-1.7/",
    doi = "10.18653/v1/2022.mathnlp-1.7",
    pages = "51--64"
}