SmartCheck: automatic and efficient counterexample reduction and generalization.

Published in: Haskell (2014)

Keyphrases

efficient computation
artificial intelligence
computationally efficient
computationally expensive
neural network
machine learning
computer vision
feature selection
multiscale
data driven