Cover Image

Rigorous Explanations for Tree Ensembles

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Izza, Yacine, Ignatiev, Alexey, Huang, Xuanxiang, Stuckey, Peter J., Marques-Silva, Joao
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence 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

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

Delivering Inflated Explanations
by: Izza, Yacine, et al.
Published: (2023)

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

Formal Explanations for Neuro-Symbolic AI
by: Paul, Sushmita, et al.
Published: (2024)

Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
by: Izza, Yacine, et al.
Published: (2024)

A Formal Framework for the Explanation of Finite Automata Decisions
by: Granada, Jaime Cuartas, et al.
Published: (2026)

On Trustworthy Rule-Based Models and Explanations
by: Siala, Mohamed, et al.
Published: (2025)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
by: Huang, Xuanxiang, et al.
Published: (2025)

Locally-Minimal Probabilistic Explanations
by: Izza, Yacine, et al.
Published: (2023)

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

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
by: Bassan, Shahaf, et al.
Published: (2025)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
by: Dasgupta, Sopam, et al.
Published: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
by: Dasgupta, Sopam, et al.
Published: (2024)

Efficient Contrastive Explanations on Demand
by: Izza, Yacine, et al.
Published: (2024)

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

Explainability is NOT a Game
by: Marques-Silva, Joao, et al.
Published: (2023)

What are the Right Symmetries for Formal Theorem Proving?
by: Olejniczak, Krzysztof, et al.
Published: (2026)

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
by: Brorholt, Asger Horn, et al.
Published: (2025)

SATformer: Transformer-Based UNSAT Core Learning
by: Shi, Zhengyuan, et al.
Published: (2022)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
by: Ramirez, Miquel, et al.
Published: (2024)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
by: Wu, Haoze, et al.
Published: (2024)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
by: Pati, Viresh, et al.
Published: (2026)

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

Hypergraph Neural Networks Accelerate MUS Enumeration
by: Ijima, Hiroya, et al.
Published: (2026)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
by: Li, Jinzhao, et al.
Published: (2026)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
by: Pal, Koyena, et al.
Published: (2026)

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
by: Xie, Zixuan, et al.
Published: (2026)

Can Transformers Learn to Verify During Backtracking Search?
by: Phua, Yin Jun, et al.
Published: (2026)

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

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
by: Liu, Xinyu, et al.
Published: (2026)

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

Learning to Solve and Optimize by Evolving Code
by: Semmelrock, Veronika, et al.
Published: (2026)

Towards Understanding the Expressive Power of GNNs with Global Readout
by: Funk, Maurice, et al.
Published: (2026)

SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization
by: Su, Xiaole, et al.
Published: (2026)

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
by: Damera, Sai Sandeep, et al.
Published: (2026)

Munkres' General Topology Autoformalized in Isabelle/HOL
by: Bryant, Dustin, et al.
Published: (2026)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
by: Olivieri, Pierriccardo, et al.
Published: (2026)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
by: Li, Augustus Haoyang
Published: (2026)

On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks
by: Damera, Sai Sandeep, et al.
Published: (2026)

Robust Shielding for Safe Reinforcement Learning
by: Court, Edwin Hamel-De le, et al.
Published: (2026)