36 citations · 44 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018★ 1 cited
Probabilistic Verification of Fairness Properties via Concentration
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
As machine learning systems are increasingly used to make real world legal and financial decisions, it is of paramount importance that we develop algorithms to verify that these sy…
cs.LG2018★ 36 cited
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections
Xin Zhang, Armando Solar-Lezama, Rishabh Singh
We present a new algorithm to generate minimal, stable, and symbolic corrections to an input that will cause a neural network with ReLU activations to change its output. We argue t…