@article{meadows-freitas-2023-introduction,
    title = "Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks",
    author = "Meadows, Jordan  and
      Freitas, Andr{\'e}",
    journal = "Transactions of the Association for Computational Linguistics",
    volume = "11",
    year = "2023",
    address = "Cambridge, MA",
    publisher = "MIT Press",
    url = "https://preview.aclanthology.org/fix-sig-urls/2023.tacl-1.66/",
    doi = "10.1162/tacl_a_00594",
    pages = "1162--1184"
}