Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks.

Jianan Yao Gabriel Ryan Justin Wong Suman Jana Ronghui Gu

Published in: CoRR (2020)

Keyphrases

social networks
learning algorithm
learning process
learning systems
supervised learning
learning scheme
reinforcement learning
online learning
learning tasks
learning problems
neural network
active learning
probabilistic model
knowledge representation
learning community
connectionist networks