TY  - RPRT
TI  - The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
AU  - Konstantin Kaulen
AU  - Tobias Ladner
AU  - Stanley Bak
AU  - Christopher Brix
AU  - Hai Duong
AU  - Thomas Flinkow
AU  - Taylor T. Johnson
AU  - Lukas Koller
AU  - Edoardo Manino
AU  - ThanhVu H Nguyen
AU  - Haoze Wu
PY  - 2025
UR  - https://arxiv.org/abs/2512.19007
ID  - 2512.19007
ER  -