@inproceedings{de-paiva-etal-2025-math,
    title = "Math Natural Language Inference: this should be easy!",
    author = "de Paiva, Valeria  and
      Gao, Qiyue  and
      Hu, Hai  and
      Kovalev, Pavel  and
      Liu, Yikang  and
      Moss, Lawrence S.  and
      Qian, Zhiheng",
    editor = "Frermann, Lea  and
      Stevenson, Mark",
    booktitle = "Proceedings of the 14th Joint Conference on Lexical and Computational Semantics (*SEM 2025)",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-emnlp/2025.starsem-1.14/",
    pages = "179--188",
    ISBN = "979-8-89176-340-1"
}