3 citations · 6 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LG2019★ 1 cited
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks
Matthew Sotoudeh, Aditya V. Thakur
Analysis and manipulation of trained neural networks is a challenging and important problem. We propose a symbolic representation for piecewise-linear neural networks and discuss i…
cs.LG2019★ 3 cited
Computing Linear Restrictions of Neural Networks
Matthew Sotoudeh, Aditya V. Thakur
A linear restriction of a function is the same function with its domain restricted to points on a given line. This paper addresses the problem of computing a succinct representatio…