Copertina

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gomes, Ronaldo, Ribeiro, Jairo, Queiroz, Luiz, Rocha, Thiago Alves
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
di: Queiroz, Luiz Fernando Paulino, et al.
Pubblicazione: (2026)

Comparing Neural Network Encodings for Logic-based Explainability
di: Carvalho, Levi Cordeiro, et al.
Pubblicazione: (2025)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
di: Filho, Francisco Mateus Rocha, et al.
Pubblicazione: (2026)

Reliable XAI Explanations in Sudden Cardiac Death Prediction for Chagas Cardiomyopathy
di: Chagas, Vinícius P., et al.
Pubblicazione: (2026)

The Logical Expressiveness of Topological Neural Networks
di: Akbari, Amirreza, et al.
Pubblicazione: (2026)

Logic Gate Neural Networks are Good for Verification
di: Kresse, Fabian, et al.
Pubblicazione: (2025)

TLINet: Differentiable Neural Network Temporal Logic Inference
di: Li, Danyang, et al.
Pubblicazione: (2024)

Branch and Bound for Piecewise Linear Neural Network Verification
di: Bunel, Rudy, et al.
Pubblicazione: (2019)

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
di: Filho, Francisco Mateus Rocha, et al.
Pubblicazione: (2024)

Modal Logical Neural Networks
di: Sulc, Antonin
Pubblicazione: (2025)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
di: Sulc, Antonin
Pubblicazione: (2026)

Neural Logic Networks for Interpretable Classification
di: Perreault, Vincent, et al.
Pubblicazione: (2025)

Multitask Kernel-based Learning with First-Order Logic Constraints
di: Diligenti, Michelangelo, et al.
Pubblicazione: (2023)

Regional, Lattice and Logical Representations of Neural Networks
di: Preto, Sandro, et al.
Pubblicazione: (2025)

Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI
di: Bezerra, Emannuel L. de A., et al.
Pubblicazione: (2026)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
di: Mannucci, Mirco A.
Pubblicazione: (2025)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
di: Zhang, Yani, et al.
Pubblicazione: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
di: Nunn, Pierre, et al.
Pubblicazione: (2024)

The Luna Bound Propagator for Formal Analysis of Neural Networks
di: LeCates, Henry, et al.
Pubblicazione: (2026)

Boolean Variation and Boolean Logic BackPropagation
di: Nguyen, Van Minh
Pubblicazione: (2023)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
di: Boetius, David, et al.
Pubblicazione: (2026)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
di: König, Matthias, et al.
Pubblicazione: (2024)

Circuit Representations of Random Forests with Applications to XAI
di: Ji, Chunxi, et al.
Pubblicazione: (2026)

Proof Minimization in Neural Network Verification
di: Isac, Omri, et al.
Pubblicazione: (2025)

Space Explanations of Neural Network Classification
di: Labbaf, Faezeh, et al.
Pubblicazione: (2025)

Lecture Notes on Verifying Graph Neural Networks
di: Schwarzentruber, François
Pubblicazione: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
di: Upreti, Nijesh, et al.
Pubblicazione: (2026)

The Polynomial Counting Capabilities of Message Passing Neural Networks
di: Sälzer, Marco, et al.
Pubblicazione: (2026)

Almost Surely Asymptotically Constant Graph Neural Networks
di: Adam-Day, Sam, et al.
Pubblicazione: (2024)

Boolformer: Symbolic Regression of Logic Functions with Transformers
di: d'Ascoli, Stéphane, et al.
Pubblicazione: (2023)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
di: Qasim, Kaleem Ullah, et al.
Pubblicazione: (2025)

PICID: Proof-Driven Clause Learning in Neural Network Verification
di: Isac, Omri, et al.
Pubblicazione: (2025)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
di: Flinkow, Thomas, et al.
Pubblicazione: (2026)

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
di: Tasse, Geraud Nangue, et al.
Pubblicazione: (2022)

Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4
di: Aniva, Leni, et al.
Pubblicazione: (2026)

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
di: Bassan, Shahaf, et al.
Pubblicazione: (2025)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
di: Murphy, William, et al.
Pubblicazione: (2024)

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering
di: Zhang, Chongzhi, et al.
Pubblicazione: (2024)

A First-Order Logic-Based Alternative to Reward Models in RLHF
di: Jian, Chunjin, et al.
Pubblicazione: (2025)

A Logical View of GNN-Style Computation and the Role of Activation Functions
di: Barceló, Pablo, et al.
Pubblicazione: (2025)