Cover Image

Implementing local-explainability in Gradient Boosting Trees: Feature Contribution

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Delgado-Panadero, Ángel, Hernández-Lorca, Beatriz, García-Ordás, María Teresa, Benítez-Andrades, José Alberto
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A generalized decision tree ensemble based on the NeuralNetworks architecture: Distributed Gradient Boosting Forest (DGBF)
by: Delgado-Panadero, Ángel, et al.
Published: (2024)

Verifiable Boosted Tree Ensembles
by: Calzavara, Stefano, et al.
Published: (2024)

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

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

From learnable objects to learnable random objects
by: Anderson, Aaron, et al.
Published: (2025)

Programs as Singularities
by: Murfet, Daniel, et al.
Published: (2025)

Boosting Few-Pixel Robustness Verification via Covering Verification Designs
by: Shapira, Yuval, et al.
Published: (2024)

A Novel Approach To Implementing Knowledge Distillation In Tsetlin Machines
by: Kinateder, Calvin
Published: (2025)

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

A Hybrid Real-Time Framework for Efficient Fussell-Vesely Importance Evaluation Using Virtual Fault Trees and Graph Neural Networks
by: Xiao, Xingyu, et al.
Published: (2024)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
by: Li, Guchan, et al.
Published: (2026)

A Logic for Veracity: Development and Implementation
by: Britten, Daniel, et al.
Published: (2024)

The unstable formula theorem revisited via algorithms
by: Malliaris, Maryanthe, et al.
Published: (2022)

Agnostic Online Learning and Excellent Sets
by: Malliaris, Maryanthe, et al.
Published: (2021)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
by: Meli, Daniele, et al.
Published: (2024)

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

Verified and Optimized Implementation of Orthologic Proof Search
by: Guilloud, Simon, et al.
Published: (2025)

Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning
by: Xu, Yang, et al.
Published: (2026)

Evaluation of Country Dietary Habits Using Machine Learning Techniques in Relation to Deaths from COVID-19
by: García-Ordás, María Teresa, et al.
Published: (2024)

Properties of UTxO Ledgers and Programs Implemented on Them
by: Vinogradova, Polina, et al.
Published: (2025)

Neurosymbolic Decision Trees
by: Möller, Matthias, et al.
Published: (2025)

Lattice Deduction Transformers
by: Davis, Liam, et al.
Published: (2026)

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
by: Lipparini, Enrico, et al.
Published: (2025)

How to avoid the commuting conversions of IPC
by: Santo, José Espírito, et al.
Published: (2024)

Rigorous Explanations for Tree Ensembles
by: Izza, Yacine, et al.
Published: (2026)

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
by: Frenkel, Eden, et al.
Published: (2024)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
by: Dai, Steve, et al.
Published: (2025)

Efficient & Correct Predictive Equivalence for Decision Trees
by: Marques-Silva, Joao, et al.
Published: (2025)

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

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

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

Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers
by: Sonoda, Sho, et al.
Published: (2026)

Diminishing Returns in Expanding Generative Models and Godel-Tarski-Lob Limits
by: Majumdar, Angshul
Published: (2026)

Neural Model Checking
by: Giacobbe, Mirco, et al.
Published: (2024)

Learning Better Representations From Less Data For Propositional Satisfiability
by: Ghanem, Mohamed, et al.
Published: (2024)

Deep Learning with Parametric Lenses
by: Cruttwell, Geoffrey S. H., et al.
Published: (2024)

Formalized Hopfield Networks and Boltzmann Machines
by: Cipollina, Matteo, et al.
Published: (2025)

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

Identification of Bivariate Causal Directionality Based on Anticipated Asymmetric Geometries
by: Glushkovsky, Alex
Published: (2026)