%Aigaion2 BibTeX export from Idiap Publications
%Wednesday 17 June 2026 02:01:11 AM

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