%Aigaion2 BibTeX export from Idiap Publications
%Saturday 20 December 2025 08:40:48 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}
}