The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

31 December 2024

Papers citing "The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results"

8 / 8 papers shown

Title
Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification Ryota Ueda Takami Sato Ken Kobayashi Kazuhide Nakata AAML 95 0 0 12 Jun 2025
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification Michele Alberti F. Bobot Julien Girard-Satabin Alban Grastien Aymeric Varasse Zakaria Chihani 9 0 0 10 Jun 2025
SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Hong-Ming Chiu Hao Chen Huan Zhang Richard Y. Zhang 15 0 0 07 Jun 2025
Out of the Shadows: Exploring a Latent Space for Neural Network Verification Lukas Koller Tobias Ladner Matthias Althoff 54 0 0 23 May 2025
NoPE: The Counting Power of Transformers with No Positional Encodings Chris Köcher Alexander Kozachinskiy Anthony Widjaja Lin Marco Sälzer Georg Zetzsche 109 0 0 16 May 2025
Proof-Driven Clause Learning in Neural Network Verification Omri Isac Idan Refaeli Haoze Wu Clark W. Barrett Guy Katz 164 0 0 15 Mar 2025
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 134 2 0 27 May 2024
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs M. Daggitt Wen Kokke R. Atkey Natalia Slusarz Luca Arnaboldi Ekaterina Komendantskaya NAI 88 11 0 12 Jan 2024