TY  - RPRT
TI  - Don't Blame the Model, Verify the Data: An Evaluation of SMT-based Dataset Verification (Extended Version)
AU  - Sehee Park
AU  - Dominik Geißler
AU  - Andrei Aleksandrov
AU  - Kim Völlinger
PY  - 2026
UR  - https://arxiv.org/abs/2609.20959
ID  - 2609.20959
ER  -