ResearchTrend.AI
Safe Neurosymbolic Learning with Differentiable Symbolic Execution

Safe Neurosymbolic Learning with Differentiable Symbolic Execution

Chenxi Yang
Swarat Chaudhuri
ArXivPDFHTML

Papers citing "Safe Neurosymbolic Learning with Differentiable Symbolic Execution"

8 / 8 papers shown
Title
On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms
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
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
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
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
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
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation
Chenxi Yang
Greg Anderson
Swarat Chaudhuri
24
1
0
26 Jan 2023
Introduction to Neural Network Verification
Introduction to Neural Network Verification
Aws Albarghouthi
AAML
53
85
0
21 Sep 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
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