Buchumschlag

Formal Explanations for Neuro-Symbolic AI

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Paul, Sushmita, Yu, Jinqiang, Dekker, Jip J., Ignatiev, Alexey, Stuckey, Peter J.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Machine Learning Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Rigorous Explanations for Tree Ensembles
von: Izza, Yacine, et al.
Veröffentlicht: (2026)

Most General Explanations of Tree Ensembles (Extended Version)
von: Izza, Yacine, et al.
Veröffentlicht: (2025)

A Formal Framework for the Explanation of Finite Automata Decisions
von: Granada, Jaime Cuartas, et al.
Veröffentlicht: (2026)

Efficient & Correct Predictive Equivalence for Decision Trees
von: Marques-Silva, Joao, et al.
Veröffentlicht: (2025)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
von: Rothkopf, Raven, et al.
Veröffentlicht: (2024)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
von: He, Haoyuan, et al.
Veröffentlicht: (2022)

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
von: Baaj, Ismaïl, et al.
Veröffentlicht: (2025)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
von: Cornelio, Cristina, et al.
Veröffentlicht: (2024)

Delivering Inflated Explanations
von: Izza, Yacine, et al.
Veröffentlicht: (2023)

Formal Mathematical Reasoning: A New Frontier in AI
von: Yang, Kaiyu, et al.
Veröffentlicht: (2024)

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
von: Yousefzadeh, Roozbeh, et al.
Veröffentlicht: (2025)

Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
von: Shahid, Mahnoor, et al.
Veröffentlicht: (2026)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
von: Shahid, Mahnoor, et al.
Veröffentlicht: (2026)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
von: Liu, Xinyu, et al.
Veröffentlicht: (2026)

Neuro-Symbolic Compliance: Integrating LLMs and SMT Solvers for Automated Financial Legal Analysis
von: Hsia, Yung-Shen, et al.
Veröffentlicht: (2026)

On Trustworthy Rule-Based Models and Explanations
von: Siala, Mohamed, et al.
Veröffentlicht: (2025)

What are the Right Symmetries for Formal Theorem Proving?
von: Olejniczak, Krzysztof, et al.
Veröffentlicht: (2026)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
von: Sharifi, Iman, et al.
Veröffentlicht: (2026)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
von: Baugh, Kexin Gu, et al.
Veröffentlicht: (2025)

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
von: Zhang, Yaofang, et al.
Veröffentlicht: (2026)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
von: Bassan, Shahaf, et al.
Veröffentlicht: (2025)

LeanAgent: Lifelong Learning for Formal Theorem Proving
von: Kumarappan, Adarsh, et al.
Veröffentlicht: (2024)

Solving Formal Math Problems by Decomposition and Iterative Reflection
von: Zhou, Yichi, et al.
Veröffentlicht: (2025)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
von: Sharifi, Iman, et al.
Veröffentlicht: (2023)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
von: Farjami, Ali, et al.
Veröffentlicht: (2026)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
von: Alhessi, Yousef, et al.
Veröffentlicht: (2025)

Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems
von: Alamdari, Parand A., et al.
Veröffentlicht: (2026)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
von: Majkic, Zoran
Veröffentlicht: (2026)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
von: Wu, Haoze, et al.
Veröffentlicht: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
von: Xie, Zixuan, et al.
Veröffentlicht: (2026)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
von: Ciatto, Giovanni, et al.
Veröffentlicht: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
von: Chevallier, Mark, et al.
Veröffentlicht: (2025)

A Neurosymbolic Approach to Natural Language Formalization and Verification
von: Bayless, Sam, et al.
Veröffentlicht: (2025)

RLSF: Fine-tuning LLMs via Symbolic Feedback
von: Jha, Piyush, et al.
Veröffentlicht: (2024)

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
von: Sälzer, Marco, et al.
Veröffentlicht: (2024)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
von: Flinkow, Thomas, et al.
Veröffentlicht: (2026)

Application of AI to formal methods - an analysis of current trends
von: Stock, Sebastian, et al.
Veröffentlicht: (2024)

An In-Context Learning Agent for Formal Theorem-Proving
von: Thakur, Amitayush, et al.
Veröffentlicht: (2023)