research
∙
12/02/2019
Proving Data-Poisoning Robustness in Decision Trees
Machine learning models are brittle, and small changes in the training d...
share
research
∙
05/20/2019
Efficient Synthesis with Probabilistic Constraints
We consider the problem of synthesizing a program given a probabilistic ...
research
∙
02/17/2017
Quantifying Program Bias
With the range and sensitivity of algorithmic decisions expanding at a b...
research
∙
10/19/2016