Popular repositories Loading

1. static-analysis-for-support-match static-analysis-for-support-match Public

   Towards Verified Stochastic Variational Inference for Probabilistic Programs

   Python 7

2. reparam-nondiff reparam-nondiff Public

   Reparameterization Gradient for Non-differentiable Models

   Python 5 1

3. mindbender mindbender Public

   Forked from HazyResearch/mindbender

   Mindbender for iterative knowledge base development with DeepDive

   CoffeeScript

4. ocaml-pythonlib ocaml-pythonlib Public

   Forked from m2ym/ocaml-pythonlib

   OCaml library for parsing and pretty printing Python code

   OCaml

5. static-analysis-for-differentiability static-analysis-for-differentiability Public

   Python

6. smoothness-analysis smoothness-analysis Public

   Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference

   Python