TY  - RPRT
TI  - The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
AU  - Stanley Bak
AU  - Changliu Liu
AU  - Taylor Johnson
PY  - 2021
UR  - https://arxiv.org/abs/2109.00498
ID  - 2109.00498
ER  -