C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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