%Aigaion2 BibTeX export from Idiap Publications
%Saturday 15 March 2025 08:15:52 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}
}