@inproceedings{zhang-etal-2024-selene,
    title = "Selene: Pioneering Automated Proof in Software Verification",
    author = "Zhang, Lichen  and
      Lu, Shuai  and
      Duan, Nan",
    editor = "Ku, Lun-Wei  and
      Martins, Andre  and
      Srikumar, Vivek",
    booktitle = "Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)",
    month = aug,
    year = "2024",
    address = "Bangkok, Thailand",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/2024.acl-long.98/",
    doi = "10.18653/v1/2024.acl-long.98",
    pages = "1776--1789"
}