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
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
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