ARTICLE Meadows_TACL_2023/IDIAP Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks Meadows, Jordan Freitas, Andre Transactions of the ACL 2023