Showing cs.FLShow all
2 papers · 1 filter
cs.FL2025
Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
Dominik Geißler, Tobias Winkler
Probabilistic programs encode stochastic models as ordinary-looking programs with primitives for sampling numbers from predefined distributions and conditioning. Their applications…
cs.FL2025
Weighted Automata for Exact Inference in Discrete Probabilistic Programs
Dominik Geißler, Tobias Winkler
In probabilistic programming, the inference problem asks to determine a program's posterior distribution conditioned on its "observe" instructions. Inference is challenging, especi…