3 ms·* Formal methods or program semantics * Probabilistic and differentiable programmingby nextos 7y ago* Formal methods or program semantics * Probabilistic and differentiable programming