Cover Image

Circuit Representations of Random Forests with Applications to XAI

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ji, Chunxi, Darwiche, Adnan
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

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

Dsat: A Native SAT Solver for Discrete Logic
by: Zhang, Yaofang, et al.
Published: (2026)

Towards Compositional Interpretability for XAI
by: Tull, Sean, et al.
Published: (2024)

A Compositional Atlas for Algebraic Circuits
by: Wang, Benjie, et al.
Published: (2024)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
by: Aljaafari, Nura, et al.
Published: (2026)

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

Learning Explainable and Better Performing Representations of POMDP Strategies
by: Bork, Alexander, et al.
Published: (2024)

Dualformer: Controllable Fast and Slow Thinking by Learning with Randomized Reasoning Traces
by: Su, DiJia, et al.
Published: (2024)

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)

SDSC:A Structure-Aware Metric for Semantic Signal Representation Learning
by: Lee, Jeyoung, et al.
Published: (2025)

Application of AI to formal methods - an analysis of current trends
by: Stock, Sebastian, et al.
Published: (2024)

The Geometry of Reasoning: Flowing Logics in Representation Space
by: Zhou, Yufa, et al.
Published: (2025)

Causal Unit Selection using Tractable Arithmetic Circuits
by: Huang, Haiying, et al.
Published: (2024)

TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
by: Taylor, Alexander K, et al.
Published: (2026)

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)

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)

What are the Right Symmetries for Formal Theorem Proving?
by: Olejniczak, Krzysztof, 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)

Think Locally, Explain Globally: Graph-Guided LLM Investigations via Local Reasoning and Belief Propagation
by: Jha, Saurabh, et al.
Published: (2026)

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

Unifying approach to uniform expressivity of graph neural networks
by: Luo, Huan, et al.
Published: (2026)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
by: Gilda, Sankalp, et al.
Published: (2026)

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

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
by: Buleshnyi, Mykhailo, et al.
Published: (2025)

P2C: Path to Counterfactuals
by: Dasgupta, Sopam, et al.
Published: (2025)