Similar Items: 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
- Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
- Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
- Separation Logic for Verifying Physical Collisions of CNC Programs
- Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability