Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning.

Pengyu Nie Karl Palmskog Junyi Jessy Li Milos Gligoric

Published in: CoRR (2021)

Keyphrases

deep learning
formal methods
unsupervised learning
machine learning
unsupervised feature learning
model checking
restricted boltzmann machine
weakly supervised
deep belief networks
deep architectures
data mining
reinforcement learning
pattern recognition
data points
object detection
higher order