%Aigaion2 BibTeX export from Idiap Publications
%Wednesday 17 July 2024 08:08:15 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}
}