AishwaryaSivaraman / COMETLinks
Counterexample-Guided Learning of Monotonic Networks
☆18Updated 3 years ago
Alternatives and similar repositories for COMET
Users that are interested in COMET are comparing it to the libraries listed below
Sorting:
- A collection of commonly used datasets as benchmarks for density estimation in MaLe☆20Updated 6 years ago
- A collection of commonly used datasets as benchmarks for density estimation☆24Updated 6 years ago
- Generative Forests in Python☆35Updated 2 years ago
- Code for UAI'19: Random Sum-Product Networks: A Simple and Effective Approach to Probabilistic Deep Learning☆37Updated 5 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Updated last year
- The Python PSDD Package☆19Updated 6 months ago
- ☆53Updated 2 years ago
- ☆19Updated 3 years ago
- Probabilistic Circuits from the Juice library☆106Updated last year
- Code source of Learning Binary Trees by Argmin Differentiation.☆12Updated 3 years ago
- CHOP: An optimization library based on PyTorch, with applications to adversarial examples and structured neural network training.☆78Updated last year
- Neural network verification in JAX☆144Updated 2 years ago
- A framework for composing Neural Processes in Julia☆76Updated 4 years ago
- Implementation of Bayesian Sum-Product Networks☆13Updated 5 years ago
- Code and supplementary material for "Automatic Bayesian Density Analysis", AAAI 19☆20Updated 7 years ago
- A Python Library for Deep Probabilistic Modeling☆62Updated last year
- Evaluating Robustness of Neural Networks with Mixed Integer Programming☆117Updated 3 weeks ago
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- Mixed Sum-Product Networks: A Deep Architecture for Hybrid Domains☆16Updated 7 years ago
- Optimizing PAC-Bayes bounds for Stochastic Neural Networks with Gaussian weights☆28Updated 5 years ago
- Source code for my PhD thesis: Backpropagation Beyond the Gradient☆20Updated 2 years ago
- ☆15Updated 3 years ago
- ☆172Updated last year
- ☆19Updated 8 months ago
- Probabilistic Circuits in Julia☆10Updated 2 years ago
- Methods to soundly verify deep neural networks☆235Updated 8 months ago
- Functional tensors for probabilistic programming☆245Updated 2 years ago
- ☆15Updated 7 years ago
- Mapper Interactive is a customizable visualization framework for the analysis and visualization of high-dimensional point cloud data usin…☆25Updated 2 years ago
- Library for Bayesian Neural Networks in PyTorch (first version as published in ProbProg2020)☆42Updated 4 years ago