CLN2INV: Learning Loop Invariants with Continuous Logic Networks.

Gabriel Ryan Justin Wong Jianan Yao Ronghui Gu Suman Jana

Published in: CoRR (2019)

Keyphrases

learning process
learning algorithm
learning tasks
learning systems
active learning
prior knowledge
connectionist networks
knowledge acquisition
mobile devices
bayesian networks
case study
social networks
unsupervised learning
genetic algorithm
network structure
neural network
learning problems
data sets