@InProceedings{10.1007/978-3-032-32357-6_20,
author="Rohwer, Lukas
and Teuber, Samuel
and Daggitt, Matthew L.",
editor="Avni, Guy
and Schilling, Christian",
title="VNN-LIB 2.0 in Practice: Benchmarks for More Complex Neural Network Verification Tasks (Competition Contribution)",
booktitle="Third International Symposium on AI Verification",
  eventtitleaddon = {{SAIV}~2026},
year="2026",
  month = {jul},
publisher="Springer Nature Switzerland",
address="Cham",
pages="387--393",
isbn="978-3-032-32357-6"
}