Counterexample-Guided Learning of Monotonic Networks
☆18May 19, 2022Updated 3 years ago
Alternatives and similar repositories for COMET
Users that are interested in COMET are comparing it to the libraries listed below
Sorting:
- ☆29Dec 21, 2022Updated 3 years ago
- A collection of commonly used datasets as benchmarks for density estimation in MaLe☆20Jul 15, 2019Updated 6 years ago
- Probabilistic Circuits in Julia☆10Dec 27, 2023Updated 2 years ago
- Generative Forests in Python☆35Jul 6, 2023Updated 2 years ago
- A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python☆23Jan 1, 2021Updated 5 years ago
- The Python PSDD Package☆19Jul 20, 2025Updated 7 months ago
- Fast Gradient Boosting Decision Trees with Bit-Level Data Structures☆18Aug 2, 2022Updated 3 years ago
- 🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025☆36Aug 24, 2025Updated 6 months ago
- A collection of commonly used datasets as benchmarks for density estimation☆24Dec 16, 2019Updated 6 years ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- Implementation of Unconstrained Monotonic Neural Network and the related experiments. These architectures are particularly useful for mod…☆127Dec 7, 2025Updated 3 months ago
- Logistic Circuits☆36Jul 10, 2019Updated 6 years ago
- Code for UAI'19: Random Sum-Product Networks: A Simple and Effective Approach to Probabilistic Deep Learning☆37Jun 7, 2020Updated 5 years ago
- ☆12Aug 5, 2025Updated 7 months ago
- A python library which simplifies creating and exporting videos.☆11Oct 1, 2023Updated 2 years ago
- C code for 2D/3D lattice percolation☆10Mar 26, 2021Updated 4 years ago
- A Toolbox Platform for Creating Your Own Tools. Bake Them with Code or AI.☆23Feb 22, 2026Updated 2 weeks ago
- Code For Unsupervised Adversarial Image Inpaiting paper☆11Apr 25, 2019Updated 6 years ago
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 8 years ago
- pytorch implementation for "Variational Autoencoder with Implicit Optimal Priors".☆11Oct 12, 2020Updated 5 years ago
- ☆11Jun 28, 2022Updated 3 years ago
- Pytorch implementation of Google TCAV☆10Jan 11, 2019Updated 7 years ago
- A Julia port of the Lark parser☆50Nov 29, 2025Updated 3 months ago
- ☆11Sep 29, 2021Updated 4 years ago
- Logic Circuits from the Juice library☆50Jun 15, 2024Updated last year
- A repo based on XiLin Li's PSGD repo that extends some of the experiments.☆14Oct 7, 2024Updated last year
- ☆12Jan 31, 2026Updated last month
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated 5 months ago
- [IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas☆10Mar 25, 2023Updated 2 years ago
- Code to reproduce the experiments in the paper: Does CLIP Bind Concepts? Probing Compositionality in Large Image Models.☆16Oct 14, 2023Updated 2 years ago
- Reinforcement learning for clustering in Ginkgo☆13Mar 29, 2021Updated 4 years ago
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Jan 23, 2017Updated 9 years ago
- A large database of artificial neural network statistics during training☆15Dec 8, 2020Updated 5 years ago
- Deep Supervised Graph Partitioning Model☆14Aug 3, 2021Updated 4 years ago
- pytorch implementation of https://arxiv.org/abs/1705.09847☆15Dec 3, 2019Updated 6 years ago
- ☆15Jan 15, 2019Updated 7 years ago
- Code for "Exponential Family Estimation via Adversarial Dynamics Embedding" (NeurIPS 2019)☆14Nov 26, 2019Updated 6 years ago
- Lossless compression using Probabilistic Circuits☆16Mar 10, 2022Updated 3 years ago
- Julia interface for the Blossom V perfect matching algorithm☆14Nov 27, 2020Updated 5 years ago