Login / Signup
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