Selene: Pioneering Automated Proof in Software Verification.

Lichen Zhang, Shuai Lu, Nan Duan

Browse the full ACL paper archive.