no code implementations • 15 Feb 2022 • Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
We study weighted programming, a programming paradigm for specifying mathematical models.
Probabilistic Programming