Deep Generation of Coq Lemma Names Using Elaborated Terms.

Pengyu Nie Karl Palmskog Junyi Jessy Li Milos Gligoric

Published in: IJCAR (2) (2020)

Keyphrases

databases
image processing
database
real time
data sets
data mining
information systems
data structure
co occurrence
information retrieval systems
named entities