@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",
    abstract = "Automating discovery in mathematics and science will require sophisticated methods of information extraction and abstract reasoning, including models that can convincingly process relationships between mathematical elements and natural language, to produce problem solutions of real-world value. We analyze mathematical language processing methods across five strategic sub-areas (identifier-definition extraction, formula retrieval, natural language premise selection, math word problem solving, and informal theorem proving) from recent years, highlighting prevailing methodologies, existing limitations, overarching trends, and promising avenues for future research."
}