Buchumschlag

On Trustworthy Rule-Based Models and Explanations

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Siala, Mohamed, Planes, Jordi, Marques-Silva, Joao
Format:	Preprint
Veröffentlicht:	2025
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)

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

Compact Rule-Based Classifier Learning via Gradient Descent
von: Fumanal-Idocin, Javier, et al.
Veröffentlicht: (2025)

Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification
von: Xi, Bowen, et al.
Veröffentlicht: (2023)

Formal Explanations for Neuro-Symbolic AI
von: Paul, Sushmita, et al.
Veröffentlicht: (2024)

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

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

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

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

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

Decidable By Construction: Design-Time Verification for Trustworthy AI
von: Haynes, Houston
Veröffentlicht: (2026)

SATformer: Transformer-Based UNSAT Core Learning
von: Shi, Zhengyuan, et al.
Veröffentlicht: (2022)

Magnushammer: A Transformer-Based Approach to Premise Selection
von: Mikuła, Maciej, et al.
Veröffentlicht: (2023)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2024)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
von: Buleshnyi, Mykhailo, et al.
Veröffentlicht: (2025)

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
von: Joshi, Aniruddha, et al.
Veröffentlicht: (2025)

MC3G: Model Agnostic Causally Constrained Counterfactual Generation
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2025)

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
von: Song, Peiyang, et al.
Veröffentlicht: (2024)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
von: Aditya, Dyuman, et al.
Veröffentlicht: (2025)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

P2C: Path to Counterfactuals
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2025)

Autonomous Code Evolution Meets NP-Completeness
von: Yu, Cunxi, et al.
Veröffentlicht: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
von: Sälzer, Marco, et al.
Veröffentlicht: (2025)

Comparing Neural Network Encodings for Logic-based Explainability
von: Carvalho, Levi Cordeiro, et al.
Veröffentlicht: (2025)

Expressive Temporal Specifications for Reward Monitoring
von: Adalat, Omar, et al.
Veröffentlicht: (2025)

Abduction of Domain Relationships from Data for VQA
von: Chowdhury, Al Mehdi Saadat, et al.
Veröffentlicht: (2025)

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

Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations
von: Zhapa-Camacho, Fernando, et al.
Veröffentlicht: (2025)

Regional, Lattice and Logical Representations of Neural Networks
von: Preto, Sandro, et al.
Veröffentlicht: (2025)

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

Proceedings The 13th International Workshop on Theorem proving components for Educational software
von: Narboux, Julien, et al.
Veröffentlicht: (2025)

Neural Logic Networks for Interpretable Classification
von: Perreault, Vincent, et al.
Veröffentlicht: (2025)

Halting Recurrent GNNs and the Graded $μ$-Calculus
von: Bollen, Jeroen, et al.
Veröffentlicht: (2025)

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

Matrix Factorization for Inferring Associations and Missing Links
von: Barron, Ryan, et al.
Veröffentlicht: (2025)

Neurosymbolic Decision Trees
von: Möller, Matthias, et al.
Veröffentlicht: (2025)

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
von: Dong, Kefan, et al.
Veröffentlicht: (2025)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
von: Bizzaro, Davide, et al.
Veröffentlicht: (2025)

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
von: Kasaura, Kazumi, et al.
Veröffentlicht: (2025)