TY  - RPRT
TI  - A DPLL(T) Framework for Verifying Deep Neural Networks
AU  - Hai Duong
AU  - ThanhVu Nguyen
AU  - Matthew Dwyer
PY  - 2024
UR  - https://arxiv.org/abs/2307.10266
ID  - 2307.10266
ER  -