%Aigaion2 BibTeX export from Idiap Publications
%Saturday 21 December 2024 03:59:12 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}
}