17 citations · 45 across the 7 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.PL2019★ 9 cited
Deterministic Parallel Fixpoint Computation
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
Abstract interpretation is a general framework for expressing static program analyses. It reduces the problem of extracting properties of a program to computing an approximation of…
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…