We present novel strategies to enable precise yet efficient repair such as inferring correctness specifications to act as oracles for intermediate layer repair, and generation of experts for each class.
This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks.
We present a system that uses a learned autocompletion mechanism to facilitate rapid creation of semi-structured clinical documentation.
Inspired by recent successes with parallel optimization techniques for solving Boolean satisfiability, we investigate a set of strategies and heuristics that aim to leverage parallel computing to improve the scalability of neural network verification.
It is programmatic in that scenario representation is a program in a domain-specific probabilistic programming language which can be used to generate synthetic data to test a given perception module.
As autonomy becomes prevalent in many applications, ranging from recommendation systems to fully autonomous vehicles, there is an increased need to provide safety guarantees for such systems.
We propose a novel approach for automatically identifying safe regions of the input space, within which the network is robust against adversarial perturbations.