Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving

Documenti analoghi

• Piecewise Analysis of Probabilistic Programs via $k$-Induction
  di: Yang, Tengshun, et al.
  Pubblicazione: (2024)
• Structural Abstraction and Refinement for Probabilistic Programs
  di: Li, Guanyan, et al.
  Pubblicazione: (2025)
• Quantitative Verification of Omega-regular Properties in Probabilistic Programming
  di: Wang, Peixin, et al.
  Pubblicazione: (2025)
• Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support
  di: Reichelt, Tim, et al.
  Pubblicazione: (2023)
• Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
  di: Zaiser, Fabian, et al.
  Pubblicazione: (2024)