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. static-analysis-for-differentiability static-analysis-for-differentiability Public

   Python

5. smoothness-analysis smoothness-analysis Public

   Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference

   Python

6. mixed-prec-train mixed-prec-train Public

   Training with Mixed-Precision Floating-Point Assignments

   Python