Learning inductive invariants by sampling from frequency distributions.

Grigory Fedyukovich Samuel J. Kaufman Rastislav Bodík

Published in: Formal Methods Syst. Des. (2020)

Keyphrases

inductive learning
learning algorithm
learning process
prior knowledge
learning systems
reinforcement learning
learning problems
data sets
supervised learning
neural network
graphical models
learning analytics
learning community
constructive induction