%Aigaion2 BibTeX export from Idiap Publications
%Tuesday 21 January 2025 05:13: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}
}