%Aigaion2 BibTeX export from Idiap Publications
%Friday 05 December 2025 07:53:30 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}
}