Copertina

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Filho, Francisco Mateus Rocha, Neto, Ajalmar Rêgo da Rocha, 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

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

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

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
di: Gomes, Ronaldo, et al.
Pubblicazione: (2026)

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

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

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
di: Júnior, Antônio Carlos Souza Ferreira, et al.
Pubblicazione: (2024)

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

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

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
di: Zhang, Yaofang, et al.
Pubblicazione: (2026)

A General Framework for Property-Driven Machine Learning
di: Flinkow, Thomas, et al.
Pubblicazione: (2025)

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

Compact Rule-Based Classifier Learning via Gradient Descent
di: Fumanal-Idocin, Javier, et al.
Pubblicazione: (2025)

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

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
di: Aditya, Dyuman, et al.
Pubblicazione: (2025)

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

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

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

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

Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
di: Beirami, Hani, et al.
Pubblicazione: (2026)

Towards Verifiable Transformers: Solver-Checkable Circuit Explanations
di: Somani, Neel
Pubblicazione: (2026)

Output-decomposed Learning of Mealy Machines
di: Koenders, Rick, et al.
Pubblicazione: (2024)

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

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

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

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

Most General Explanations of Tree Ensembles (Extended Version)
di: Izza, Yacine, et al.
Pubblicazione: (2025)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
di: Olarte, Carlos, et al.
Pubblicazione: (2024)

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

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
di: Meli, Daniele, 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)

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

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
di: Işık, İlker, et al.
Pubblicazione: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

Learning Concepts Definable in First-Order Logic with Counting
di: van Bergerem, Steffen
Pubblicazione: (2019)

Rigorous Explanations for Tree Ensembles
di: Izza, Yacine, et al.
Pubblicazione: (2026)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
di: He, Haoyuan, et al.
Pubblicazione: (2022)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
di: Soroka, Emi, et al.
Pubblicazione: (2024)

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
di: Amir, Guy, et al.
Pubblicazione: (2024)