Neuro-Symbolic Verification of Deep Neural Networks

2 March 2022

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

6 / 6 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 61 2 0 16 Feb 2025
Modular design patterns for neural-symbolic integration: refinement and combination Till Mossakowski 19 1 0 09 Jun 2022
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 65 292 0 10 Dec 2020
Generative Neurosymbolic Machines Jindong Jiang Sungjin Ahn BDL OCL 219 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 231 1,837 0 03 Feb 2017