28 citations · 41 across the 4 of their papers we have counts for
5 papers
Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
Christopher Brix, Julia Walczak, Nils Lommen +1
Solving quantifier-free non-linear real arithmetic (NRA) problems is a computationally hard task. To tackle this problem, prior work proposed a promising approach based on gradient…
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
Konstantin Kaulen, Tobias Ladner, Stanley Bak +8
This report summarizes the 6th International Verification of Neural Networks Competition (VNN-COMP 2025), held as a part of the 8th International Symposium on AI Verification (SAIV…
The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
Christopher Brix, Stanley Bak, Taylor T. Johnson +1
This report summarizes the 5th International Verification of Neural Networks Competition (VNN-COMP 2024), held as a part of the 7th International Symposium on AI Verification (SAIV…
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results
Christopher Brix, Stanley Bak, Changliu Liu +1
This report summarizes the 4th International Verification of Neural Networks Competition (VNN-COMP 2023), held as a part of the 6th Workshop on Formal Methods for ML-Enabled Autono…
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
Mark Niklas Müller, Christopher Brix, Stanley Bak +2
This report summarizes the 3rd International Verification of Neural Networks Competition (VNN-COMP 2022), held as a part of the 5th Workshop on Formal Methods for ML-Enabled Autono…