Quantifying Program Bias
Measuring Neural Net Robustness with Constraints