On Abstraction Refinement for Bayesian Program Analysis

Open Webpage

Yuanfeng Shi, Yifan Zhang, Xin Zhang

Published: 09 Oct 2025, Last Modified: 07 Jan 2026Proceedings of the ACM on Programming LanguagesEveryoneRevisionsCC BY-SA 4.0
External IDs:doi:10.1145/3763166