Neuro-Symbolic Verification of Deep Neural Networks

2 March 2022

Papers citing "Neuro-Symbolic Verification of Deep Neural Networks"

5 / 5 papers shown

Title
Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens Samuele Bortolotti Emanuele Marconato Paolo Morettin Andrea Passerini Stefano Teso 53 2 0 16 Feb 2025
Introduction to Neural Network Verification Aws Albarghouthi AAML 53 85 0 21 Sep 2021
Neurosymbolic AI: The 3rd Wave Artur Garcez Luís C. Lamb NAI 57 288 0 10 Dec 2020
Generative Neurosymbolic Machines Jindong Jiang Sungjin Ahn BDL OCL 211 68 0 23 Oct 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,835 0 03 Feb 2017