From Invariant Checking to Invariant Inference Using Randomized Search.

Rahul Sharma Alex Aiken

Published in: CAV (2014)

Keyphrases

randomized search
moment invariants
affine transformation
probabilistic inference
geometric transformations
data sets
neural network
machine learning
learning algorithm
dynamic programming