Image de couverture de livre

Distribution and Clusters Approximations as Abstract Domains in Probabilistic Abstract Interpretation to Neural Network Analysis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Zhuofan, Wiklicky, Herbert
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Probabilistic Abstract Interpretation on Neural Networks via Grids Approximation
par: Zhang, Zhuofan, et autres
Publié: (2026)

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
par: Marzari, Luca, et autres
Publié: (2025)

FAME: Formal Abstract Minimal Explanation for Neural Networks
par: Boumazouza, Ryma, et autres
Publié: (2026)

Uncovering a Universal Abstract Algorithm for Modular Addition in Neural Networks
par: McCracken, Gavin, et autres
Publié: (2025)

Abstract Art Interpretation Using ControlNet
par: Srivastava, Rishabh, et autres
Publié: (2024)

Abstract Dialectical Frameworks are Boolean Networks (full version)
par: Heyninck, Jesse, et autres
Publié: (2024)

All in One: Multi-Task Prompting for Graph Neural Networks (Extended Abstract)
par: Sun, Xiangguo, et autres
Publié: (2024)

Neural Network Approximators for Marginal MAP in Probabilistic Circuits
par: Arya, Shivvrat, et autres
Publié: (2024)

Probabilistic Abduction for Visual Abstract Reasoning via Learning Rules in Vector-symbolic Architectures
par: Hersche, Michael, et autres
Publié: (2024)

Cluster-based Sampling in Hindsight Experience Replay for Robotic Tasks (Student Abstract)
par: Kim, Taeyoung, et autres
Publié: (2022)

On the Hardness of Approximating Distributions with Tractable Probabilistic Models
par: Leland, John, et autres
Publié: (2025)

From Concrete to Abstract: A Multimodal Generative Approach to Abstract Concept Learning
par: Xie, Haodong, et autres
Publié: (2024)

Joint Learning of Hierarchical Neural Options and Abstract World Model
par: Piriyakulkij, Wasu Top, et autres
Publié: (2026)

Seeing the Abstract: Translating the Abstract Language for Vision Language Models
par: Talon, Davide, et autres
Publié: (2025)

AUPO -- Abstracted Until Proven Otherwise: A Reward Distribution Based Abstraction Algorithm
par: Schmöcker, Robin, et autres
Publié: (2025)

Diversity of Extensions in Abstract Argumentation
par: Fichte, Johannes K., et autres
Publié: (2026)

Faster Symmetry Breaking Constraints for Abstract Structures
par: Akgün, Özgür, et autres
Publié: (2025)

Artificial Intuition: Efficient Classification of Scientific Abstracts
par: Sakhrani, Harsh, et autres
Publié: (2024)

Extension-ranking Semantics for Abstract Argumentation Preprint
par: Skiba, Kenneth, et autres
Publié: (2025)

Supported Abstract Argumentation for Case-Based Reasoning
par: Gould, Adam, et autres
Publié: (2025)

Causally Abstracted Multi-armed Bandits
par: Zennaro, Fabio Massimo, et autres
Publié: (2024)

Structured Active Inference (Extended Abstract)
par: Smithe, Toby St Clere
Publié: (2024)

An Abstract Worlds Semantic Framework for Belief Change Operators
par: Grimaldi, Daniel, et autres
Publié: (2026)

On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
par: Buraglio, Giovanni, et autres
Publié: (2026)

Athanor: Local Search over Abstract Constraint Specifications
par: Attieh, Saad, et autres
Publié: (2024)

Abstract Weighted Based Gradual Semantics in Argumentation Theory
par: Libman, Assaf, et autres
Publié: (2024)

From Abstract to Contextual: What LLMs Still Cannot Do in Mathematics
par: Cao, Bowen, et autres
Publié: (2026)

AI-Facilitated Analysis of Abstracts and Conclusions: Flagging Unsubstantiated Claims and Ambiguous Pronouns
par: Markhasin, Evgeny
Publié: (2025)

MANAR: Memory-augmented Attention with Navigational Abstract Conceptual Representation
par: Jahshan, Zuher, et autres
Publié: (2026)

Enhancing Conflict Resolution in Language Models via Abstract Argumentation
par: Li, Zhaoqun, et autres
Publié: (2024)

Preference-Based Abstract Argumentation for Case-Based Reasoning (with Appendix)
par: Gould, Adam, et autres
Publié: (2024)

Compositional-ARC: Assessing Systematic Generalization in Abstract Spatial Reasoning
par: Mondorf, Philipp, et autres
Publié: (2025)

An Extension-based Approach for Computing and Verifying Preferences in Abstract Argumentation
par: Mahesar, Quratul-ain, et autres
Publié: (2024)

ACCESS : A Benchmark for Abstract Causal Event Discovery and Reasoning
par: Vo, Vy, et autres
Publié: (2025)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
par: Blümel, Lydia, et autres
Publié: (2024)

An Analysis of Architectural Impact on LLM-based Abstract Visual Reasoning: A Systematic Benchmark on RAVEN-FAIR
par: Urgun, Sinan, et autres
Publié: (2025)

The Emergence of Abstract Thought in Large Language Models Beyond Any Language
par: Chen, Yuxin, et autres
Publié: (2025)

Combining Induction and Transduction for Abstract Reasoning
par: Li, Wen-Ding, et autres
Publié: (2024)

Physically Interpretable Probabilistic Domain Characterization
par: Halin, Anaïs, et autres
Publié: (2024)

GraphARC: A Comprehensive Benchmark for Graph-Based Abstract Reasoning
par: Peltonen, Saku, et autres
Publié: (2026)