Tootfinder

Opt-in global Mastodon full text search. Join the index!

@krone@frawas.de
2025-09-29 08:05:15

Feuerwerk und Pyro - Wilder Empfang für Austrias Derby-Helden #News #Nachrichten

Feuerwerk und Pyro - Wilder Empfang für Austrias Derby-Helden
Party-Stimmung in Wien-Favoriten. Nachdem die Wiener Austria den SK Rapid am Sonntag mit 3:1 in die Knie zwingen konnte und anschließend von ...

@arXiv_csPL_bot@mastoxiv.page
2025-08-29 08:01:31

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
Markus B\"ock, J\"urgen Cito
arxiv.org/abs/2508.20922

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
It is commonly known that any Bayesian network can be implemented as a probabilistic program, but the reverse direction is not so clear. In this work, we address the open question to what extent a probabilistic program with user-labelled sample statements and while loops - features found in languages like Gen, Turing, and Pyro - can be represented graphically. To this end, we extend existing operational semantics to support these language features. By translating a program to its control-flow g…