Learning nonlinear loop invariants with gated continuous logic networks.

Jianan Yao Gabriel Ryan Justin Wong Suman Jana Ronghui Gu

Published in: PLDI (2020)

Keyphrases

learning algorithm
knowledge acquisition
learning systems
social networks
background knowledge
learning process
learning scheme
semi supervised
supervised learning
learning tasks
learning community
piecewise linear