Picture for Matthew Sotoudeh

Matthew Sotoudeh

Provable Repair of Deep Neural Networks

Add code
Apr 25, 2021
Figure 1 for Provable Repair of Deep Neural Networks
Figure 2 for Provable Repair of Deep Neural Networks
Figure 3 for Provable Repair of Deep Neural Networks
Figure 4 for Provable Repair of Deep Neural Networks
Viaarxiv icon

SyReNN: A Tool for Analyzing Deep Neural Networks

Add code
Jan 09, 2021
Figure 1 for SyReNN: A Tool for Analyzing Deep Neural Networks
Figure 2 for SyReNN: A Tool for Analyzing Deep Neural Networks
Figure 3 for SyReNN: A Tool for Analyzing Deep Neural Networks
Figure 4 for SyReNN: A Tool for Analyzing Deep Neural Networks
Viaarxiv icon

Analogy-Making as a Core Primitive in the Software Engineering Toolbox

Add code
Sep 14, 2020
Figure 1 for Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Figure 2 for Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Figure 3 for Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Figure 4 for Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Viaarxiv icon

Abstract Neural Networks

Add code
Sep 11, 2020
Figure 1 for Abstract Neural Networks
Figure 2 for Abstract Neural Networks
Figure 3 for Abstract Neural Networks
Viaarxiv icon

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks

Add code
Aug 20, 2019
Figure 1 for A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks
Figure 2 for A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks
Figure 3 for A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks
Figure 4 for A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks
Viaarxiv icon

Computing Linear Restrictions of Neural Networks

Add code
Aug 17, 2019
Figure 1 for Computing Linear Restrictions of Neural Networks
Figure 2 for Computing Linear Restrictions of Neural Networks
Figure 3 for Computing Linear Restrictions of Neural Networks
Figure 4 for Computing Linear Restrictions of Neural Networks
Viaarxiv icon

ISA Mapper: A Compute and Hardware Agnostic Deep Learning Compiler

Add code
Oct 12, 2018
Figure 1 for ISA Mapper: A Compute and Hardware Agnostic Deep Learning Compiler
Figure 2 for ISA Mapper: A Compute and Hardware Agnostic Deep Learning Compiler
Figure 3 for ISA Mapper: A Compute and Hardware Agnostic Deep Learning Compiler
Figure 4 for ISA Mapper: A Compute and Hardware Agnostic Deep Learning Compiler
Viaarxiv icon

DeepThin: A Self-Compressing Library for Deep Neural Networks

Add code
Feb 20, 2018
Figure 1 for DeepThin: A Self-Compressing Library for Deep Neural Networks
Figure 2 for DeepThin: A Self-Compressing Library for Deep Neural Networks
Figure 3 for DeepThin: A Self-Compressing Library for Deep Neural Networks
Figure 4 for DeepThin: A Self-Compressing Library for Deep Neural Networks
Viaarxiv icon