Login / Signup
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning.
Pengyu Nie
Karl Palmskog
Junyi Jessy Li
Milos Gligoric
Published in:
ICSE (Companion Volume) (2021)
Keyphrases
</>
deep learning
formal methods
unsupervised learning
machine learning
unsupervised feature learning
mental models
model checking
weakly supervised
restricted boltzmann machine
deep architectures
keywords
learning strategies
named entities
decision trees
natural language