@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://aclanthology.org/2023.tacl-1.66/",
    doi = "10.1162/tacl_a_00594",
    pages = "1162--1184"
}