Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning.

Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric

Browse the full ICSE paper archive.