Image de couverture de livre

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Queiroz, Luiz Fernando Paulino, Cavalcante, Carlos Henrique Leitão, Rocha, Thiago Alves
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
par: Gomes, Ronaldo, et autres
Publié: (2026)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
par: Filho, Francisco Mateus Rocha, et autres
Publié: (2026)

Comparing Neural Network Encodings for Logic-based Explainability
par: Carvalho, Levi Cordeiro, et autres
Publié: (2025)

Reliable XAI Explanations in Sudden Cardiac Death Prediction for Chagas Cardiomyopathy
par: Chagas, Vinícius P., et autres
Publié: (2026)

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
par: Bassan, Shahaf, et autres
Publié: (2025)

Space Explanations of Neural Network Classification
par: Labbaf, Faezeh, et autres
Publié: (2025)

The Logical Expressiveness of Topological Neural Networks
par: Akbari, Amirreza, et autres
Publié: (2026)

Logic Gate Neural Networks are Good for Verification
par: Kresse, Fabian, et autres
Publié: (2025)

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
par: Filho, Francisco Mateus Rocha, et autres
Publié: (2024)

TLINet: Differentiable Neural Network Temporal Logic Inference
par: Li, Danyang, et autres
Publié: (2024)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
par: Mannucci, Mirco A.
Publié: (2025)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
par: Bassan, Shahaf, et autres
Publié: (2025)

Modal Logical Neural Networks
par: Sulc, Antonin
Publié: (2025)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
par: Sulc, Antonin
Publié: (2026)

Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI
par: Bezerra, Emannuel L. de A., et autres
Publié: (2026)

Neural Logic Networks for Interpretable Classification
par: Perreault, Vincent, et autres
Publié: (2025)

Provably Explaining Neural Additive Models
par: Bassan, Shahaf, et autres
Publié: (2026)

Regional, Lattice and Logical Representations of Neural Networks
par: Preto, Sandro, et autres
Publié: (2025)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
par: Zhang, Yani, et autres
Publié: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
par: Nunn, Pierre, et autres
Publié: (2024)

A First-Order Logic-Based Alternative to Reward Models in RLHF
par: Jian, Chunjin, et autres
Publié: (2025)

On Trustworthy Rule-Based Models and Explanations
par: Siala, Mohamed, et autres
Publié: (2025)

Towards Verifiable Transformers: Solver-Checkable Circuit Explanations
par: Somani, Neel
Publié: (2026)

Proof Minimization in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
par: Zhang, Yaofang, et autres
Publié: (2026)

Lecture Notes on Verifying Graph Neural Networks
par: Schwarzentruber, François
Publié: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
par: Upreti, Nijesh, et autres
Publié: (2026)

The Polynomial Counting Capabilities of Message Passing Neural Networks
par: Sälzer, Marco, et autres
Publié: (2026)

Branch and Bound for Piecewise Linear Neural Network Verification
par: Bunel, Rudy, et autres
Publié: (2019)

Almost Surely Asymptotically Constant Graph Neural Networks
par: Adam-Day, Sam, et autres
Publié: (2024)

Boolformer: Symbolic Regression of Logic Functions with Transformers
par: d'Ascoli, Stéphane, et autres
Publié: (2023)

PICID: Proof-Driven Clause Learning in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
par: Flinkow, Thomas, et autres
Publié: (2026)

Set-Based Training for Neural Network Verification
par: Koller, Lukas, et autres
Publié: (2024)

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
par: Tasse, Geraud Nangue, et autres
Publié: (2022)

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
par: Amir, Guy, et autres
Publié: (2024)

Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4
par: Aniva, Leni, et autres
Publié: (2026)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
par: Murphy, William, et autres
Publié: (2024)

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering
par: Zhang, Chongzhi, et autres
Publié: (2024)

A Logical View of GNN-Style Computation and the Role of Activation Functions
par: Barceló, Pablo, et autres
Publié: (2025)