会员服务
Piecewise Analysis of Probabilistic Programs via $k$-Induction
Arxiv
0+阅读 · 1月2日
Safety, Relative Tightness and the Probabilistic Frame Rule
Arxiv
0+阅读 · 1月2日
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
Arxiv
0+阅读 · 2025年12月23日
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
Arxiv
0+阅读 · 2025年12月24日
Weighted Automata for Exact Inference in Discrete Probabilistic Programs
Arxiv
0+阅读 · 2025年11月25日
参考链接
微信扫码咨询专知VIP会员
Top