↓ Skip to main content

Classification

MLDiff ↗ ↖
Machine Learning SMT Formal Methods Classification Verification
MLDiff provides a novel approach to comparing learned classifiers by translating them into SMT formulas and systematically analyzing their decision boundaries.