28 citations · 37 across the 3 of their papers we have counts for
3 papers
cs.CV2026
From Decoupled to Coupled: Robustness Verification for Learning-based Keypoint Detection with Joint Specifications
Xusheng Luo, Changliu Liu
Keypoint detection underpins many vision tasks, including pose estimation, viewpoint recovery, and 3D reconstruction, yet modern neural models remain vulnerable to small input pert…
cs.LG2023★ 9 cited
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…
cs.LG2022★ 28 cited
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…