会员服务
RefineStat: Efficient Exploration for Probabilistic Program Synthesis
Arxiv
0+阅读 · 2月7日
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
Arxiv
0+阅读 · 1月21日
Quantifier Elimination and Craig Interpolation, Quantitatively
Arxiv
0+阅读 · 1月9日
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