TY  - RPRT
TI  - Set-Based Training for Neural Network Verification
AU  - Lukas Koller
AU  - Tobias Ladner
AU  - Matthias Althoff
PY  - 2025
UR  - https://arxiv.org/abs/2401.14961
ID  - 2401.14961
ER  -