Technical Perspective: Beautiful Symbolic Abstractions for Safe and Secure Machine Learning
"Proving Data-Poisoning Robustness in Decision Trees," by Samuel Drews et al., addresses the challenge of processing an intractably large set of trained models…