Selene: Pioneering Automated Proof in Software Verification Lichen Zhang author Shuai Lu author Nan Duan author 2024-08 text Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) Lun-Wei Ku editor Andre Martins editor Vivek Srikumar editor Association for Computational Linguistics Bangkok, Thailand conference publication zhang-etal-2024-selene 10.18653/v1/2024.acl-long.98 https://aclanthology.org/2024.acl-long.98/ 2024-08 1776 1789