"neural network verification" Papers
10 papers found
Conference
Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
Duo Zhou, Jorge Chavez, Hesun Chen et al.
NEURIPS 2025arXiv:2512.11087
1
citations
Generating and Checking DNN Verification Proofs
Hai Duong, ThanhVu Nguyen, Matthew Dwyer
NEURIPS 2025
Neural Interactive Proofs
Lewis Hammond, Sam Adam-Day
ICLR 2025arXiv:2412.08897
5
citations
Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation
Yanghao Zhang, Panagiotis Kouvaros, Alessio Lomuscio
NEURIPS 2025
Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling
Feiyang Cai, Chuchu Fan, Stanley Bak
AAAI 2025paperarXiv:2405.18554
10
citations
Two‑Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion
Haoyu Li, Xiangru Zhong, Bin Hu et al.
NEURIPS 2025spotlightarXiv:2506.01356
1
citations
DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction
Kshitij Goyal, Sebastijan Dumancic, Hendrik Blockeel
AAAI 2024paperarXiv:2303.01141
8
citations
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
Lujie Yang, Hongkai Dai, Zhouxing Shi et al.
ICML 2024arXiv:2404.07956
34
citations
Trustless Audits without Revealing Data or Models
Suppakit Waiwitlikhit, Ion Stoica, Yi Sun et al.
ICML 2024arXiv:2404.04500
19
citations
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar
ICML 2024arXiv:2312.09748
1
citations