CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
Gabriel RyanJustin WongJianan YaoRonghui GuSuman JanaPublished in: ICLR (2020)
Keyphrases
- learning problems
- learning algorithm
- connectionist networks
- learning systems
- learning scheme
- expert systems
- learning process
- supervised learning
- knowledge acquisition
- inductive inference
- prior knowledge
- online learning
- unsupervised learning
- model checking
- learning tasks
- reinforcement learning
- heterogeneous networks
- machine learning