Image de couverture de livre

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Rehan, Zainab, Adriano, Christian Medeiros, Ghahremani, Sona, Giese, Holger
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Causal Knowledge Transfer for Multi-Agent Reinforcement Learning in Dynamic Environments
par: Korte, Kathrin, et autres
Publié: (2025)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
par: Sharifi, Iman, et autres
Publié: (2026)

Neuro-symbolic AI for Predictive Maintenance (PdM) -- review and recommendations
par: Hamilton, Kyle, et autres
Publié: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
par: Defresne, Marianne, et autres
Publié: (2025)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
par: Baugh, Kexin Gu, et autres
Publié: (2025)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
par: Miya, Shinobu
Publié: (2025)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
par: Sigloch, Paul, et autres
Publié: (2026)

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
par: Kumar, Aman
Publié: (2024)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
par: Akshay, S., et autres
Publié: (2024)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
par: Alhessi, Yousef, et autres
Publié: (2025)

Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning
par: Xu, Yang, et autres
Publié: (2026)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
par: Xu, Jianfeng
Publié: (2025)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
par: Bollig, Benedikt
Publié: (2026)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
par: Yan, Rui, et autres
Publié: (2022)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
par: Majkic, Zoran
Publié: (2026)

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
par: Cosler, Matthias, et autres
Publié: (2024)

Weighted Rules under the Stable Model Semantics
par: Lee, Joohyung, et autres
Publié: (2026)

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
par: Ibeling, Duligur, et autres
Publié: (2024)

Explainability-Driven Quality Assessment for Rule-Based Systems
par: Seneviratne, Oshani, et autres
Publié: (2025)

LTLf Synthesis Under Unreliable Input
par: Hagemeier, Christian, et autres
Publié: (2024)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
par: Quansah, Paapa Kwesi, et autres
Publié: (2026)

Incremental Neural Network Verification via Learned Conflicts
par: Elsaleh, Raya, et autres
Publié: (2026)

Laurel: Unblocking Automated Verification with Large Language Models
par: Mugnier, Eric, et autres
Publié: (2024)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
par: Sebastiani, Roberto
Publié: (2025)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
par: Finkbeiner, Bernd, et autres
Publié: (2025)

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
par: Patil, Jaikrishna Manojkumar, et autres
Publié: (2025)

Neural Network Verification using Partial Multi-Neuron Relaxation
par: Shmuel, Ido, et autres
Publié: (2026)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
par: Elboher, Yizhak Yisrael, et autres
Publié: (2025)

BayesL: a Logical Framework for the Verification of Bayesian Networks
par: Nicoletti, Stefano M., et autres
Publié: (2025)

Formal Explanations for Neuro-Symbolic AI
par: Paul, Sushmita, et autres
Publié: (2024)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
par: Heuer, Jan
Publié: (2023)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
par: Shea-Blymyer, Colin, et autres
Publié: (2024)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
par: Pan, Yudai, et autres
Publié: (2021)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
par: Bhat, Vishak K, et autres
Publié: (2026)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
par: Chen, Chen, et autres
Publié: (2025)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
par: Cecconi, Alessio, et autres
Publié: (2023)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
par: Andrews, Uri, et autres
Publié: (2025)

Diminution: On Reducing the Size of Grounding ASP Programs
par: Yang, HuanYu, et autres
Publié: (2025)

Weak Permission is not Well-Founded, Grounded and Stable
par: Governatori, Guido
Publié: (2024)