Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features

Devs

Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features | Read Paper on Bytez