%Aigaion2 BibTeX export from Idiap Publications
%Wednesday 14 January 2026 04:44:13 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}
}