Showing 2021Show all
2 papers · 1 filter
cs.LG2021
Provable Repair of Deep Neural Networks
Matthew Sotoudeh, Aditya V. Thakur
Deep Neural Networks (DNNs) have grown in popularity over the past decade and are now being used in safety-critical domains such as aircraft collision avoidance. This has motivated…
cs.LG2021
SyReNN: A Tool for Analyzing Deep Neural Networks
Matthew Sotoudeh, Aditya V. Thakur
Deep Neural Networks (DNNs) are rapidly gaining popularity in a variety of important domains. Formally, DNNs are complicated vector-valued functions which come in a variety of size…