Don't Blame the Model, Verify the Data: An Evaluation of SMT-based Dataset Verification (Extended Version)

Sehee Park, Dominik Geißler, Andrei Aleksandrov +1

The EU AI Act mandates that datasets for high-risk machine learning (ML) systems meet strict quality criteria such as soundness and bias mitigation. While Satisfiability Modulo The…