Lukas Rohwer, Samuel Teuber, Matthew L. Daggitt. VNN-LIB 2.0 in Practice: Benchmarks for More Complex Neural Network Verification Tasks (Competition Contribution). In Guy Avni, Christian Schilling 0001, editors, AI Verification - Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings. Volume 16831 of Lecture Notes in Computer Science, pages 387-393, Springer, 2026. [doi]
Abstract is missing.