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
- Generative Forests in Python☆35Updated 2 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Updated last year
- ☆53Updated 2 years ago
- The Python PSDD Package☆19Updated 5 months ago
- Probabilistic Circuits from the Juice library☆106Updated last year
- A collection of commonly used datasets as benchmarks for density estimation☆24Updated 6 years ago
- Code source of Learning Binary Trees by Argmin Differentiation.☆12Updated 3 years ago
- Neural network verification in JAX☆145Updated 2 years ago
- Code for UAI'19: Random Sum-Product Networks: A Simple and Effective Approach to Probabilistic Deep Learning☆37Updated 5 years ago
- ☆19Updated 2 years ago
- A framework for composing Neural Processes in Julia☆76Updated 4 years ago
- A Python Library for Deep Probabilistic Modeling☆62Updated last year
- Automated Scalable Bayesian Inference☆131Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- CHOP: An optimization library based on PyTorch, with applications to adversarial examples and structured neural network training.☆78Updated last year
- Code and supplementary material for "Automatic Bayesian Density Analysis", AAAI 19☆20Updated 7 years ago
- Stochastic Automatic Differentiation library for PyTorch.☆208Updated last year
- Functional tensors for probabilistic programming☆244Updated 2 years ago
- Codebase for "Demystifying Black-box Models with Symbolic Metamodels", NeurIPS 2019.☆52Updated 6 years ago
- Evaluating Robustness of Neural Networks with Mixed Integer Programming☆117Updated last month
- Source code for my PhD thesis: Backpropagation Beyond the Gradient☆20Updated 2 years ago
- Python toolbox for sampling Determinantal Point Processes☆236Updated last year
- Probabilistic Circuits in Julia☆10Updated 2 years ago
- PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.☆95Updated 2 weeks ago
- ☆80Updated 4 years ago
- Optimizing PAC-Bayes bounds for Stochastic Neural Networks with Gaussian weights☆28Updated 5 years ago
- Python implementation of smooth optimal transport.☆61Updated 4 years ago
- Library for Bayesian Neural Networks in PyTorch (first version as published in ProbProg2020)☆42Updated 4 years ago
- Python library for working with graphons☆23Updated 8 years ago