Probabilistic separation logics for verifying higher-order probabilistic programs.
-
Updated
Nov 15, 2024 - Coq
Probabilistic separation logics for verifying higher-order probabilistic programs.
Variational Inference with Numerical Derivatives: variance reduction through coupling
It is an assignment about Refactoring and Coupling
Add a description, image, and links to the couplings topic page so that developers can more easily learn about it.
To associate your repository with the couplings topic, visit your repo's landing page and select "manage topics."