76 citations · 94 across the 5 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2020★ 18 cited
Interval Universal Approximation for Neural Networks
Zi Wang, Aws Albarghouthi, Gautam Prakriya +1
To verify safety and robustness of neural networks, researchers have successfully applied abstract interpretation, primarily using the interval abstract domain. In this paper, we s…
cs.LG2020★ 76 cited
Semantic Robustness of Models of Source Code
Goutham Ramakrishnan, Jordan Henkel, Zi Wang +3
Deep neural networks are vulnerable to adversarial examples - small input perturbations that result in incorrect predictions. We study this problem for models of source code, where…