Safe Neurosymbolic Learning with Differentiable Symbolic Execution

Safe Neurosymbolic Learning with Differentiable Symbolic Execution

15 March 2022

Swarat Chaudhuri

Papers citing "Safe Neurosymbolic Learning with Differentiable Symbolic Execution"

8 / 8 papers shown

Title
On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms Luke E. Richards Jessie Yaros Jasen Babcock Coung Ly Robin Cosbey Timothy Doster Cynthia Matuszek NAI 66 0 0 13 Feb 2025
Neuro-Symbolic AI in 2024: A Systematic Review Brandon C. Colelough William Regli NAI 65 9 0 09 Jan 2025
C3: Learning Congestion Controllers with Formal Certificates Chenxi Yang Divyanshu Saxena Rohit Dwivedula Kshiteej S. Mahajan Swarat Chaudhuri Aditya Akella 82 1 0 14 Dec 2024
A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI Alice Bizzarri Chung-En Yu B. Jalaeian Fabrizio Riguzzi Nathaniel D. Bastian AAML 24 2 0 03 Jun 2024
Smoothing Methods for Automatic Differentiation Across Conditional Branches J. N. Kreikemeyer Philipp Andelfinger 41 6 0 05 Oct 2023
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation Chenxi Yang Greg Anderson Swarat Chaudhuri 26 1 0 26 Jan 2023
Introduction to Neural Network Verification Aws Albarghouthi AAML 53 85 0 21 Sep 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 234 1,837 0 03 Feb 2017