research
∙
04/07/2023
Architecture-Preserving Provable Repair of Deep Neural Networks
Deep neural networks (DNNs) are becoming increasingly important componen...
share
research
∙
04/09/2021
Provable Repair of Deep Neural Networks
Deep Neural Networks (DNNs) have grown in popularity over the past decad...
research
∙
01/09/2021
SyReNN: A Tool for Analyzing Deep Neural Networks
Deep Neural Networks (DNNs) are rapidly gaining popularity in a variety ...
research
∙
09/14/2020
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
An analogy is an identification of structural similarities and correspon...
research
∙
09/12/2020
Memory-Efficient Fixpoint Computation
Practical adoption of static analysis often requires trading precision f...
research
∙
09/11/2020
Abstract Neural Networks
Deep Neural Networks (DNNs) are rapidly being applied to safety-critical...
research
∙
09/12/2019
Deterministic Parallel Fixpoint Computation
Abstract interpretation is a general framework for expressing static pro...
research
∙
08/17/2019
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Network
Analysis and manipulation of trained neural networks is a challenging an...
research
∙
08/17/2019
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks
Analysis and manipulation of trained neural networks is a challenging an...
research
∙
08/17/2019
Computing Linear Restrictions of Neural Networks
A linear restriction of a function is the same function with its domain ...
research
∙
02/21/2018