@inproceedings{han-etal-2026-shadowbench,
    title = "{SHADOWBENCH}: Toward Reliable Automatic Evaluation of Semantic Alignment in Autoformalization",
    author = "Han, Hojae  and
      Kim, Jongyoon  and
      Park, Sanghyeok  and
      Cheon, Dongwook  and
      Park, Yeachan  and
      Jeon, Myeong Jae  and
      Choe, SunJong  and
      Kong, Soonho  and
      Hur, Wonseok  and
      Hwang, Seung-Won  and
      Hyeon, Donghoon",
    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.2335/",
    pages = "53031--53067",
    ISBN = "979-8-89176-459-0"
}