Login / Signup
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features.
Nicolas Berthier
Amany Alshareef
James Sharp
Sven Schewe
Xiaowei Huang
Published in:
CoRR (2021)
Keyphrases
</>
neural network
symbolic execution
high level
artificial neural networks
genetic algorithm
feature space
general purpose
simulated annealing
machine vision