Buchumschlag

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Huang, Xuanxiang, Izza, Yacine, Ignatiev, Alexey, Marques-Silva, Joao
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence D.2.4; I.2.6; I.2.4; K.4.1; I.2.0
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Study Design and Demystification of Physics Informed Neural Networks for Power Flow Simulation
von: Leyli-abadi, Milad, et al.
Veröffentlicht: (2025)

LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability
von: Lucas, Tom, et al.
Veröffentlicht: (2026)

A Domain-Agnostic Neurosymbolic Approach for Big Social Data Analysis: Evaluating Mental Health Sentiment on Social Media during COVID-19
von: Khandelwal, Vedant, et al.
Veröffentlicht: (2024)

Automated Circuit Interpretation via Probe Prompting
von: Birardi, Giuseppe
Veröffentlicht: (2025)

T-Norm Operators for EU AI Act Compliance Classification: An Empirical Comparison of Lukasiewicz, Product, and Gödel Semantics in a Neuro-Symbolic Reasoning System
von: Laabs, Adam
Veröffentlicht: (2026)

How Metacognitive Architectures Remember Their Own Thoughts: A Systematic Review
von: Nolte, Robin, et al.
Veröffentlicht: (2025)

Can Graph-Based Microservice Performance Detection Be Used for Microservice Intrusion Detection?
von: Ma, Yunjian
Veröffentlicht: (2026)

Sensitivity Uncertainty Alignment in Large Language Models
von: Hiremath, Prakul Sunil, et al.
Veröffentlicht: (2026)

Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models
von: Nicolau, Marcio, et al.
Veröffentlicht: (2020)

Logic interpretations of ANN partition cells
von: Schmitt, Ingo
Veröffentlicht: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
von: Cate, Balder ten, et al.
Veröffentlicht: (2024)

Evaluating and Learning Robust Bandit Policies Under Uncertain Causal Mechanisms
von: Avery, Katherine, et al.
Veröffentlicht: (2025)

A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds
von: Mohan, Shiwali, et al.
Veröffentlicht: (2023)

Sensorformer: Cross-patch attention with global-patch compression is effective for high-dimensional multivariate time series forecasting
von: Qin, Liyang, et al.
Veröffentlicht: (2025)

Demand-Driven Context: A Methodology for Building Enterprise Knowledge Bases Through Agent Failure
von: Navakoti, Raj, et al.
Veröffentlicht: (2026)

High Quality Embeddings for Horn Logic Reasoning
von: Zhang, Yifan, et al.
Veröffentlicht: (2026)

E-CONDOR: Efficient Contour-Based Detection Of Random Spatial Signals From UAV Observations Using Dual Stochastic Gradient
von: Zahra, Maryam, et al.
Veröffentlicht: (2024)

5G Traffic Prediction with Time Series Analysis
von: Nayak, Nikhil, et al.
Veröffentlicht: (2021)

Uniform $\mathcal{C}^k$ Approximation of $G$-Invariant and Antisymmetric Functions, Embedding Dimensions, and Polynomial Representations
von: Ganguly, Soumya, et al.
Veröffentlicht: (2024)

The Epistemic Suite: A Post-Foundational Diagnostic Methodology for Assessing AI Knowledge Claims
von: Kelly, Matthew
Veröffentlicht: (2025)

Explainable Classifier for Malignant Lymphoma Subtyping via Cell Graph and Image Fusion
von: Nishiyama, Daiki, et al.
Veröffentlicht: (2025)

Super-additive Cooperation in Language Model Agents
von: Tonini, Filippo, et al.
Veröffentlicht: (2025)

OntoLogX: Ontology-Guided Knowledge Graph Extraction from Cybersecurity Logs with Large Language Models
von: Cotti, Luca, et al.
Veröffentlicht: (2025)

HIP Network: Historical Information Passing Network for Extrapolation Reasoning on Temporal Knowledge Graph
von: He, Yongquan, et al.
Veröffentlicht: (2024)

The Final-Stage Bottleneck: A Systematic Dissection of the R-Learner for Network Causal Inference
von: Sairam, S, et al.
Veröffentlicht: (2025)

SAGE: A Strategy-Aware Graph-Enhanced Generation Framework For Online Counseling
von: Aharon, Eliya Naomi, et al.
Veröffentlicht: (2026)

From Next Token Prediction to (STRIPS) World Models
von: Núñez-Molina, Carlos, et al.
Veröffentlicht: (2025)

Advancing Multimodal Agent Reasoning with Long-Term Neuro-Symbolic Memory
von: Jiang, Rongjie, et al.
Veröffentlicht: (2026)

Reward Machines for Deep RL in Noisy and Uncertain Environments
von: Li, Andrew C., et al.
Veröffentlicht: (2024)

ETOM: A Five-Level Benchmark for Evaluating Tool Orchestration within the MCP Ecosystem
von: Dong, Jia-Kai, et al.
Veröffentlicht: (2025)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
von: Jaakkola, Reijo, et al.
Veröffentlicht: (2024)

Integration of Contextual Descriptors in Ontology Alignment for Enrichment of Semantic Correspondence
von: Manziuk, Eduard, et al.
Veröffentlicht: (2024)

rmlnomogram: An R package to construct an explainable nomogram for any machine learning algorithms
von: Sufriyana, Herdiantri, et al.
Veröffentlicht: (2025)

U-SEG: Uncertainty in SEGmentation -- A systematic multi-variable exploration
von: Smith, Michael, et al.
Veröffentlicht: (2026)

How Worrying Are Privacy Attacks Against Machine Learning?
von: Domingo-Ferrer, Josep
Veröffentlicht: (2025)

Bi-View Embedding Fusion: A Hybrid Learning Approach for Knowledge Graph's Nodes Classification Addressing Problems with Limited Data
von: Napoli, Rosario, et al.
Veröffentlicht: (2025)

Using Synthetic Data to Mitigate Unfairness and Preserve Privacy in Collaborative Machine Learning
von: Wu, Chia-Yuan, et al.
Veröffentlicht: (2024)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
von: Leonhart, Emma
Veröffentlicht: (2026)

A Review of Symbolic, Subsymbolic and Hybrid Methods for Sequential Decision Making
von: Núñez-Molina, Carlos, et al.
Veröffentlicht: (2023)

Function Alignment: A New Theory of Mind and Intelligence, Part I: Foundations
von: Xia, Gus G.
Veröffentlicht: (2025)