Similar Items: Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
- Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
- Quantitative Linear Logic
- Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
- ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor
- Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic