Towards Reliable Neural Specifications

28 October 2022

Papers citing "Towards Reliable Neural Specifications"

9 / 9 papers shown

Title
Proof-Driven Clause Learning in Neural Network Verification Omri Isac Idan Refaeli Haoze Wu Clark W. Barrett Guy Katz 61 0 0 15 Mar 2025
Specification Generation for Neural Networks in Systems Isha Chaudhary Shuyi Lin Cheng Tan Gagandeep Singh 70 0 0 04 Dec 2024
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 36 0 0 26 Oct 2024
AutoSpec: Automated Generation of Neural Network Specifications Shuowei Jin Francis Y. Yan Cheng Tan Anuj Kalia Xenofon Foukas Z. Morley Mao 48 0 0 17 Sep 2024
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks Haoze Wu Omri Isac Aleksandar Zeljić Teruhiro Tagomori M. Daggitt ... Min Wu Min Zhang Ekaterina Komendantskaya Guy Katz Clark W. Barrett 45 30 0 25 Jan 2024
Verifying Generalization in Deep Learning Guy Amir Osher Maayan Tom Zelazny Guy Katz Michael Schapira AAML AI4CE 24 14 0 11 Feb 2023
Scalar Invariant Networks with Zero Bias Chuqin Geng Xiaojie Xu Haolin Ye X. Si 18 1 0 15 Nov 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 228 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016