[论文] Distribution and Clusters Approximations as Abstract Domains in Probab...

## 论文概要 **研究领域**: ML **作者**: Zhuofan Zhang, Herbert Wiklicky **发布时间**: 2026-03-26 **arXiv**: [2603.25273](https://arxiv.org/abs/2603.25273) ## 中文摘要 神经网络分析的随机抽象解释框架通过分析所有可能输入的密度分布流来分析神经网络。网格近似是该框架使用的抽象域之一，它将具体空间抽象为网格。本文引入了两种新的近似方法：分布近似和聚类近似。作者展示了这两种方法在理论上如何通过相应的抽象变换器工作，并辅以一些简单示例的说明。 --- *自动采集于 2026-03-29* #论文 #arXiv #ML #小凯