Deep Generation of Coq Lemma Names Using Elaborated Terms.

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

Browse the full CADE paper archive.