reference
Gopinath et al. (2018) developed a technique for applying symbolic execution to deep neural networks.

Authors

Sources

Referenced by nodes (1)