Scalable Inference of Symbolic Adversarial Examples.

Dimitar I. Dimitrov Gagandeep Singh Timon Gehr Martin T. Vechev

Published in: CoRR (2020)

Keyphrases

high level
probabilistic inference
grammatical inference
databases
neural network
search engine
database
hidden markov models
bayesian model
bayesian inference
belief networks
markov random field
knowledge representation
probabilistic model
multi agent
bayesian networks
data sets