@inproceedings{chen-etal-2026-savant,
    title = "{SAVANT}: A Neuro-Symbolic Verification Framework for Adjuvant Design",
    author = "Chen, Yi  and
      Zhang, Yu  and
      Xu, Jian  and
      Yue, Hua  and
      Wang, Xinming  and
      Lyu, Zequan  and
      Wang, Boran  and
      Liu, Hongyi  and
      Wang, Yan  and
      Cao, Peiyuan  and
      Zhang, Xu-Yao  and
      Wei, Wei  and
      Liu, Cheng-Lin",
    editor = "Lee, Hung-Yi  and
      Dev, Sunipa  and
      Li, Jessy  and
      Elliott, Desmond",
    booktitle = "Findings of the {A}ssociation for {C}omputational {L}inguistics: {EMNLP} 2026",
    month = oct,
    year = "2026",
    address = "Budapest, Hungary",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.findings-emnlp.369/",
    pages = "7728--7774",
    ISBN = "979-8-89176-462-0"
}