@misc{indiciaed39faeae1753, title = {Distribution and Clusters Approximations as Abstract Domains in Probabilistic Abstract Interpretation to Neural Network Analysis}, author = {Zhuofan Zhang and Herbert Wiklicky}, year = {2026}, url = {https://arxiv.org/abs/2603.25273}, note = {Source identifier: 2603.25273} }