Copertina

Probabilistic Explanations for Linear Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Subercaseaux, Bernardo, Arenas, Marcelo, Meel, Kuldeep S
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Computational Complexity
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Locally-Minimal Probabilistic Explanations
di: Izza, Yacine, et al.
Pubblicazione: (2023)

Probabilistic Generating Circuits -- Demystified
di: Agarwal, Sanyam, et al.
Pubblicazione: (2024)

On the Complexity of Identification in Linear Structural Causal Models
di: Dörfler, Julian, et al.
Pubblicazione: (2024)

Probabilistic and Causal Satisfiability: Constraining the Model
di: Bläser, Markus, et al.
Pubblicazione: (2025)

Complexity of Faceted Explanations in Propositional Abduction
di: Schmidt, Johannes, et al.
Pubblicazione: (2025)

Model Counting in the Wild
di: Shaw, Arijit, et al.
Pubblicazione: (2024)

Expected Shapley-Like Scores of Boolean Functions: Complexity and Applications to Probabilistic Databases
di: Karmakar, Pratik, et al.
Pubblicazione: (2024)

Towards Projected and Incremental Pseudo-Boolean Model Counting
di: Yang, Suwei, et al.
Pubblicazione: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

A faster FPRAS for #NFA
di: Meel, Kuldeep S., et al.
Pubblicazione: (2023)

Near-Optimal Encodings of Cardinality Constraints
di: Krapivin, Andrew, et al.
Pubblicazione: (2026)

Total Variation Distance Meets Probabilistic Inference
di: Bhattacharyya, Arnab, et al.
Pubblicazione: (2023)

An ASP-Based Framework for MUSes
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

Approximate SMT Counting Beyond Discrete Domains
di: Shaw, Arijit, et al.
Pubblicazione: (2025)

A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
di: Ledaguenel, Arthur, et al.
Pubblicazione: (2024)

Parameterized Complexity Of Representing Models Of MSO Formulas
di: Kučera, Petr, et al.
Pubblicazione: (2026)

Total Variation Distance for Product Distributions is $\#\mathsf{P}$-Complete
di: Bhattacharyya, Arnab, et al.
Pubblicazione: (2024)

Linear Equations with Min and Max Operators: Computational Complexity
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Explaining Decisions in ML Models: a Parameterized Complexity Analysis
di: Ordyniak, Sebastian, et al.
Pubblicazione: (2024)

A Provable Expressiveness Hierarchy in Hybrid Linear-Full Attention
di: Ye, Xiaowei, et al.
Pubblicazione: (2026)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Counting and Sampling Traces in Regular Languages
di: de Colnet, Alexis, et al.
Pubblicazione: (2025)

Engineering an Exact Pseudo-Boolean Model Counter
di: Yang, Suwei, et al.
Pubblicazione: (2023)

A Uniform Language to Explain Decision Trees
di: Arenas, Marcelo, et al.
Pubblicazione: (2023)

RoPE Attention Can Be Trained in Almost Linear Time
di: Cao, Yang, et al.
Pubblicazione: (2024)

Automated Reencoding Meets Graph Theory
di: Przybocki, Benjamin, et al.
Pubblicazione: (2026)

Solving Multiagent Path Finding on Highly Centralized Networks
di: Fioravantes, Foivos, et al.
Pubblicazione: (2024)

Over the Edge of Chaos? Excess Complexity as a Roadblock to Artificial General Intelligence
di: Susnjak, Teo, et al.
Pubblicazione: (2024)

CSPs with Few Alien Constraints
di: Jonsson, Peter, et al.
Pubblicazione: (2024)

From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy
di: Dörfler, Julian, et al.
Pubblicazione: (2024)

A Structural Complexity Analysis of Hierarchical Task Network Planning
di: Brand, Cornelius, et al.
Pubblicazione: (2024)

ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints
di: Handa, Divij, et al.
Pubblicazione: (2024)

Solving Quantified Boolean Formulas with Few Existential Variables
di: Eriksson, Leif, et al.
Pubblicazione: (2024)

Social Distancing Induced Coronavirus Optimization Algorithm (COVO): Application to Multimodal Function Optimization and Noise Removal
di: Varma, Om Ramakisan, et al.
Pubblicazione: (2024)

The Complexity of Symmetry Breaking Beyond Lex-Leader
di: Anders, Markus, et al.
Pubblicazione: (2024)

Exact Algorithms for Multiagent Path Finding with Communication Constraints on Tree-Like Structures
di: Fioravantes, Foivos, et al.
Pubblicazione: (2024)

Barriers to Complexity-Theoretic Proofs that "AGI" Using Machine Learning is Impossible
di: Guerzhoy, Michael
Pubblicazione: (2024)

Strongly Polynomial Time Complexity of Policy Iteration for $L_\infty$ Robust MDPs
di: Asadi, Ali, et al.
Pubblicazione: (2026)

Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
di: Eriksson, Leif, et al.
Pubblicazione: (2026)

Prime Successor Irreducibility: Turing Machine Complexity, Kolmogorov Complexity, and Weakness-Based Formulations
di: Goertzel, Ben, et al.
Pubblicazione: (2026)