rmascarenhas / foppl
First-Order Probabilistic Programming Language
☆27Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for foppl
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 4 months ago
- ☆15Updated 5 years ago
- Code for the 2-simplicial Transformer paper☆18Updated 4 years ago
- ☆18Updated 2 years ago
- LaTeX source code for the slides☆22Updated 3 years ago
- Implementation of generative semantic grammar.☆17Updated 2 years ago
- ☆33Updated 3 years ago
- Code for our ICLR Trustworthy ML 2020 workshop paper "Improved Image Wasserstein Attacks and Defenses"☆13Updated 4 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆30Updated 4 years ago
- Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"☆13Updated 4 years ago
- Unofficial Experiments with AlgebraNets☆17Updated 4 years ago
- Pytorch implementation of SuperPolyak subgradient method.☆43Updated 2 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆33Updated 4 years ago
- List of awesome JAX resources☆12Updated last year
- Bayesian Nonparametric Mixture Models in Julia☆14Updated 7 years ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆24Updated last year
- Modelling epidemiological dynamics and performing inference in these models☆27Updated 3 years ago
- Structured Neural Networks☆13Updated 6 months ago
- Alphazero on GPU thanks to CUDA.jl☆32Updated 3 years ago
- Discontinuous Hamiltonian Monte Carlo in JAX☆40Updated 4 years ago
- Loopy belief propagation for factor graphs on discrete variables, in JAX!☆64Updated last month
- ☆30Updated 2 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆11Updated 3 years ago
- Material for the course Large-Scale Convex Optimisation at LTH, autumn 2020☆14Updated 3 years ago
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆15Updated 3 years ago
- This repository houses the code for the community website http://www.probabilistic-numerics.org☆35Updated 4 years ago
- Randomize Self Organizing map☆24Updated 3 years ago
- Inference Combinators in JAX☆45Updated 3 weeks ago
- Analogous Safe-state Exploration (ASE) is an algorithm for provably safe and optimal exploration in MDPs with unknown, stochastic dynamic…☆11Updated 3 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆48Updated 9 months ago