Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
SyReNN: A Tool for Analyzing Deep Neural Networks

Jan 09, 2021
Matthew Sotoudeh, Aditya V. Thakur

* Accepted paper at TACAS 2021. Tool is available at https://github.com/95616ARG/SyReNN 

  Access Paper or Ask Questions

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

Sep 14, 2020
Matthew Sotoudeh, Aditya V. Thakur

* Conference paper at SPLASH 'Onward!' 2020. Code is available at https://github.com/95616ARG/sifter 

  Access Paper or Ask Questions

Abstract Neural Networks

Sep 11, 2020
Matthew Sotoudeh, Aditya V. Thakur

* Extended version of conference paper at the 27th Static Analysis Symposium (SAS 2020). Code is available at https://github.com/95616ARG/abstract_neural_networks 

  Access Paper or Ask Questions

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

Aug 20, 2019
Matthew Sotoudeh, Aditya V. Thakur

* Code is available at https://github.com/95616ARG/SyReNN 

  Access Paper or Ask Questions

Computing Linear Restrictions of Neural Networks

Aug 17, 2019
Matthew Sotoudeh, Aditya V. Thakur

* Code is available at https://github.com/95616ARG/SyReNN 

  Access Paper or Ask Questions

ISA Mapper: A Compute and Hardware Agnostic Deep Learning Compiler

Oct 12, 2018
Matthew Sotoudeh, Anand Venkat, Michael Anderson, Evangelos Georganas, Alexander Heinecke, Jason Knight


  Access Paper or Ask Questions

DeepThin: A Self-Compressing Library for Deep Neural Networks

Feb 20, 2018
Matthew Sotoudeh, Sara S. Baghsorkhi


  Access Paper or Ask Questions