Deep Generation of Coq Lemma Names Using Elaborated Terms.

Pengyu Nie Karl Palmskog Junyi Jessy Li Milos Gligoric

Published in: CoRR (2020)

Keyphrases

computer vision
real time
decision trees
video sequences
co occurrence
generation process
databases
neural network
information systems
image processing
three dimensional
training data
evolutionary algorithm
probabilistic model