TY  - RPRT
TI  - ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
AU  - Tianhao Wei
AU  - Hanjiang Hu
AU  - Luca Marzari
AU  - Kai S. Yun
AU  - Peizhi Niu
AU  - Xusheng Luo
AU  - Changliu Liu
PY  - 2025
UR  - https://arxiv.org/abs/2407.01639
ID  - 2407.01639
ER  -