49 citations · 58 across the 7 of their papers we have counts for
4 papers · 1 filter
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions
Brandon Paulsen, Chao Wang
The most scalable approaches to certifying neural network robustness depend on computing sound linear lower and upper bounds for the network's activation functions. Current approac…
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Brandon Paulsen, Jingbo Wang, Jiawei Wang +1
As neural networks make their way into safety-critical systems, where misbehavior can lead to catastrophes, there is a growing interest in certifying the equivalence of two structu…
DiffRNN: Differential Verification of Recurrent Neural Networks
Sara Mohammadinejad, Brandon Paulsen, Chao Wang +1
Recurrent neural networks (RNNs) such as Long Short Term Memory (LSTM) networks have become popular in a variety of applications such as image processing, data classification, spee…
ReluDiff: Differential Verification of Deep Neural Networks
Brandon Paulsen, Jingbo Wang, Chao Wang
As deep neural networks are increasingly being deployed in practice, their efficiency has become an important issue. While there are compression techniques for reducing the network…