
Pruning and Slicing Neural Networks using Formal Verification
Deep neural networks (DNNs) play an increasingly important role in vario...
read it

Towards Scalable Verification of RLDriven Systems
Deep neural networks (DNNs) have gained significant popularity in recent...
read it

Towards Repairing ScenarioBased Models with Rich Events
Repairing legacy systems is a difficult and errorprone task: often, lim...
read it

An SMTBased Approach for Verifying Binarized Neural Networks
Deep learning has emerged as an effective approach for creating modern s...
read it

Global Optimization of Objective Functions Represented by ReLU Networks
Neural networks (NN) learn complex nonconvex functions, making them des...
read it

Guarded Deep Learning using ScenarioBased Modeling
Deep neural networks (DNNs) are becoming prevalent, often outperforming ...
read it

Parallelization Techniques for Verifying Neural Networks
Inspired by recent successes with parallel optimization techniques for s...
read it

Verifying Recurrent Neural Networks using Invariant Inference
Deep neural networks are revolutionizing the way complex systems are dev...
read it

An AbstractionBased Framework for Neural Network Verification
Deep neural networks are increasingly being used as controllers for safe...
read it

Simplifying Neural Networks with the Marabou Verification Engine
Deep neural network (DNN) verification is an emerging field, with divers...
read it

OntheFly Construction of Composite Events in ScenarioBased Modeling using Constraint Solvers
ScenarioBased Programming is a methodology for modeling and constructin...
read it

Toward Scalable Verification for SafetyCritical Deep Networks
The increasing use of deep neural networks for safetycritical applicati...
read it

DeepSafe: A Datadriven Approach for Checking Adversarial Robustness in Neural Networks
Deep neural networks have become widely used, obtaining remarkable resul...
read it

GroundTruth Adversarial Examples
The ability to deploy neural networks in realworld, safetycritical sys...
read it

Towards Proving the Adversarial Robustness of Deep Neural Networks
Autonomous vehicles are highly complex systems, required to function rel...
read it

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Deep neural networks have emerged as a widely used and effective means f...
read it
Guy Katz
is this you? claim profile