@inproceedings{liu-etal-2026-diverse,
    title = "Diverse Reasoning Paths Matter: Symbolic Equivalence Augmentation for Enhancing {RL} Exploration",
    author = "Liu, Xiaoou  and
      Chen, Tiejin  and
      Chen, Hanyang  and
      Ling, Yuan  and
      Wei, Hua",
    editor = "Zhang, Yue  and
      Xu, Ruifeng  and
      Purwarianti, Ayu  and
      Rong, Tong  and
      Suzuki, Jun",
    booktitle = "Proceedings of the 15th International Joint Conference on Natural Language Processing and the 5th Conference of the {A}sia-Pacific Chapter of the {A}ssociation for {C}omputational {L}inguistics (Volume 1: Long Papers)",
    month = nov,
    year = "2026",
    address = "Hengqin, China",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.aacl-long.257/",
    pages = "5703--5716",
    ISBN = "979-8-89176-439-2"
}