TY  - RPRT
TI  - On Improving Deep Active Learning with Formal Verification
AU  - Jonathan Spiegelman
AU  - Guy Amir
AU  - Guy Katz
PY  - 2025
UR  - https://arxiv.org/abs/2512.14170
ID  - 2512.14170
ER  -