TY  - RPRT
TI  - Deep Generation of Coq Lemma Names Using Elaborated Terms
AU  - Pengyu Nie
AU  - Karl Palmskog
AU  - Junyi Jessy Li
AU  - Milos Gligoric
PY  - 2020
UR  - https://arxiv.org/abs/2004.07761
ID  - 2004.07761
ER  -