@inproceedings{kim-etal-2026-benchmarking-testing,
    title = "Benchmarking Testing in Automated Theorem Proving",
    author = "Kim, Jongyoon  and
      Han, Hojae  and
      Hwang, Seung-Won",
    editor = "Li, Yunyao  and
      Rehm, Georg  and
      Tu, Mei",
    booktitle = "Proceedings of the 64th Annual Meeting of the {A}ssociation for {C}omputational {L}inguistics ({ACL} 2026)",
    month = jul,
    year = "2026",
    address = "San Diego, California, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-acl/2026.acl-industry.150/",
    pages = "2241--2260",
    ISBN = "979-8-89176-394-4"
}