Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric. Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. In 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021. pages 21-24, IEEE, 2021. [doi]
Abstract is missing.