@inproceedings{ferreira-2025-building,
    title = "Building a Compact Math Corpus",
    author = "Ferreira, Andrea",
    editor = "Abzianidze, Lasha  and
      de Paiva, Valeria",
    booktitle = "Proceedings of the 5th Workshop on Natural Logic Meets Machine Learning (NALOMA)",
    month = aug,
    year = "2025",
    address = "Bochum, Germany",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2025.naloma-1.5/",
    pages = "48--55",
    ISBN = "979-8-89176-287-9"
}