Sound Interval-Based Synthesis for Probabilistic Programs

Guilherme Espada, Alcides Fonseca

Probabilistic programming has become a standard practice to model stochastic events and learn about the behavior of nature in different scientific contexts, ranging from Genetics a…