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