Horn-ICE learning for synthesizing invariants and contracts.

P. Ezudheen Daniel Neider Deepak D'Souza Pranav Garg P. Madhusudan

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

learning process
prior knowledge
learning systems
learning tasks
active learning
knowledge acquisition
neural network
learning algorithm
reinforcement learning
learning scenarios
learning problems
unsupervised learning
supply chain
state space
high resolution
artificial neural networks
machine learning