分布近似与聚类近似作为概率抽象解释中神经网络分析的抽象域
人工智能
2026-03-27 v1
摘要
神经网络分析的概率抽象解释框架通过分析所有可能输入的密度分布流来分析神经网络。网格近似是该框架使用的抽象域之一，它将连续空间抽象为网格。在本文中，我们引入两种新的近似方法：分布近似和聚类近似。我们通过一些简单示例的图示，展示了这些方法在理论上如何工作，并给出了相应的抽象变换器。
引用
@article{arxiv.2603.25273,
title = {Distribution and Clusters Approximations as Abstract Domains in Probabilistic Abstract Interpretation to Neural Network Analysis},
author = {Zhuofan Zhang and Herbert Wiklicky},
journal= {arXiv preprint arXiv:2603.25273},
year = {2026}
}