--- title: "MathNLP 2022 — accepted papers — Elamur Research" description: "MathNLP 2022 — accepted papers: 1 paper in the Elamur Research library (Abu Dhabi, United Arab Emirates (Hybrid)), with our summaries…" canonical: "https://research.elamur.ai/free/en/venues/mathnlp/2022/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/mathnlp/2022/) [home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [MathNLP](https://md.research.elamur.ai/free/en/venues/mathnlp/) / 2022 # MathNLP 2022 — accepted papers MathNLP 2022 is the 2022 edition of the Workshop on Mathematical Natural Language Processing (MathNLP), held in Abu Dhabi, United Arab Emirates (Hybrid), December 2022 (publisher: European Language Resources Association (ELRA)). The ACL Anthology lists 7 papers of it; our library holds 1 with our summaries. Below: the most cited papers, every accepted paper, and ours with their topics, authors and institutions. 📍 Abu Dhabi, United Arab Emirates (Hybrid) · 🗓 December 2022 [**7** papers in the proceedings](#all) · [**1** work in our library](https://md.research.elamur.ai/free/en/venues/mathnlp/2022/#works) · [**25** citations of these works](https://md.research.elamur.ai/free/en/venues/mathnlp/2022/#works) ## Most cited papers By their OpenAlex citations; a paper with our summary links to its page here, the others to the original. 1. **[Investigating Math Word Problems using Pretrained Multilingual Language Models ↗](https://aclanthology.org/2022.mathnlp-1.2/)**Minghuan Tan, Lei Wang, Lingxiao Jiang et al.*29 citations* 2. **[Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs](https://md.research.elamur.ai/free/en/papers/cunningham-2022-autoformalization-mathematics-code-correctness-experiments/)**Garett Cunningham, Razvan Bunescu, David Juedes*10 citations · our summary* 3. **[End-to-End Evaluation of a Spoken Dialogue System for Learning Basic Mathematics ↗](https://aclanthology.org/2022.mathnlp-1.7/)**Eda Okur, Saurav Sahay, Roddy Fuentes Alba et al.*5 citations* 4. **[Extracting Operator Trees from Model Embeddings ↗](https://aclanthology.org/2022.mathnlp-1.6/)**Anja Reusch, Wolfgang Lehner*2 citations* 5. **[Induced Natural Language Rationales and Interleaved Markup Tokens Enable Extrapolation in Large Language Models ↗](https://aclanthology.org/2022.mathnlp-1.3/)**Mirelle Candida Bueno, Carlos Gemmell, Jeff Dalton et al.*1 citation* 6. **[Numerical Correlation in Text ↗](https://aclanthology.org/2022.mathnlp-1.5/)**Daniel Spokoyny, Chien-Sheng Wu, Caiming Xiong*1 citation* ## All accepted papers (7) The most cited first; 1 with our summary link to their page here, the others to the original. 1. **[Investigating Math Word Problems using Pretrained Multilingual Language Models ↗](https://aclanthology.org/2022.mathnlp-1.2/)**Minghuan Tan, Lei Wang, Lingxiao Jiang et al.*29 citations* 2. **[Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs](https://md.research.elamur.ai/free/en/papers/cunningham-2022-autoformalization-mathematics-code-correctness-experiments/)**Garett Cunningham, Razvan Bunescu, David Juedes*10 citations · our summary* 3. **[End-to-End Evaluation of a Spoken Dialogue System for Learning Basic Mathematics ↗](https://aclanthology.org/2022.mathnlp-1.7/)**Eda Okur, Saurav Sahay, Roddy Fuentes Alba et al.*5 citations* 4. **[Extracting Operator Trees from Model Embeddings ↗](https://aclanthology.org/2022.mathnlp-1.6/)**Anja Reusch, Wolfgang Lehner*2 citations* 5. **[Induced Natural Language Rationales and Interleaved Markup Tokens Enable Extrapolation in Large Language Models ↗](https://aclanthology.org/2022.mathnlp-1.3/)**Mirelle Candida Bueno, Carlos Gemmell, Jeff Dalton et al.*1 citation* 6. **[Numerical Correlation in Text ↗](https://aclanthology.org/2022.mathnlp-1.5/)**Daniel Spokoyny, Chien-Sheng Wu, Caiming Xiong*1 citation* 7. **[Tracing and Manipulating intermediate values in Neural Math Problem Solvers ↗](https://aclanthology.org/2022.mathnlp-1.1/)**Yuta Matsumoto, Benjamin Heinzerling, Masashi Yoshikawa et al. ## Papers with our summary in our library (1) The most cited first (OpenAlex citations plus our library's). 1. **[Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs](https://md.research.elamur.ai/free/en/papers/cunningham-2022-autoformalization-mathematics-code-correctness-experiments/) [Workshop on Mathematical Natural Language Processing (MathNLP)](https://md.research.elamur.ai/free/en/venues/mathnlp/)**Garett Cunningham, Razvan Bunescu, David Juedes*2022 · 25 citations* ## Top topics Topics of its works in our library, with the number of works on each. [Reasoning (1)](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Fields [Arts and Humanities (1)](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Computer Science (1)](https://md.research.elamur.ai/free/en/shelves/computer-science/) ## Top authors Authors with a page who published here most often: their works here, and the citations of those works. [🧑‍🔬**Razvan Bunescu**1 work here · 25 citations](https://md.research.elamur.ai/free/en/authors/razvan-bunescu/) ## Top institutions Institutions on the bylines of its works here, by the number of works. [🎓**University of North Carolina at Charlotte** Charlotte · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-north-carolina-at-charlotte/) · [🎓**Ohio University** Athens · United States 1 work here](https://md.research.elamur.ai/free/en/universities/ohio-university/) Place and dates from the event's site or the ACL Anthology; works and citations from OpenAlex and our library. - [next → MathNLP 2024](https://md.research.elamur.ai/free/en/venues/mathnlp/2024/) - [↑ back to MathNLP](https://md.research.elamur.ai/free/en/venues/mathnlp/)