%Aigaion2 BibTeX export from Idiap Publications %Monday 13 May 2024 04:36:14 PM @ARTICLE{Meadows_TACL_2023, author = {Meadows, Jordan and Freitas, Andre}, projects = {Idiap}, title = {Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks}, journal = {Transactions of the ACL}, year = {2023} }