@inproceedings{dong-etal-2026-rigor,
    title = "{RIGOR}: Atomic Semantic Normalization and Declarative Constraint Reasoning for Geometry Problem Solving",
    author = "Dong, Yuhang  and
      Yu, Weijie  and
      Wang, Ziheng  and
      Lv, Kunhang  and
      Han, Rui  and
      Jia, Fuqi  and
      Yin, Minghao  and
      Ma, Feifei",
    editor = "Lee, Hung-Yi  and
      Dev, Sunipa  and
      Li, Jessy  and
      Elliott, Desmond",
    booktitle = "Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing",
    month = oct,
    year = "2026",
    address = "Budapest, Hungary",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.emnlp-main.1385/",
    pages = "31626--31642",
    ISBN = "979-8-89176-459-0"
}