Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks Jordan Meadows author André Freitas author 2023 text journal article Transactions of the Association for Computational Linguistics continuing MIT Press Cambridge, MA periodical academic journal meadows-freitas-2023-introduction 10.1162/tacl_a_00594 https://aclanthology.org/2023.tacl-1.66/ 2023 11 1162 1184