Similar Items: Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
- ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor
- Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
- Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
- Verification of Neural Networks (Lecture Notes)
- BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
- Induction rules for Transition Algebra