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