locuslab / SATNet
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
☆410Updated 2 years ago
Alternatives and similar repositories for SATNet:
Users that are interested in SATNet are comparing it to the libraries listed below
- Torch modules that wrap blackbox combinatorial solvers according to the method presented in "Differentiating Blackbox Combinatorial Solve…☆343Updated 3 years ago
- Implementation for the Neural Logic Machines (NLM).☆284Updated 5 years ago
- Differentiable Optimization-Based Modeling for Machine Learning☆332Updated 5 years ago
- Contrastive Learning of Structured World Models☆391Updated 4 years ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆277Updated 6 years ago
- Named Tensor implementation for Torch☆444Updated 2 years ago
- OptNet: Differentiable Optimization as a Layer in Neural Networks☆523Updated 4 years ago
- A fast and differentiable QP solver for PyTorch.☆702Updated 6 months ago
- Guided Evolutionary Strategies☆270Updated last year
- Differentiable bitonic sorting☆139Updated 4 years ago
- Probabilistic Torch is library for deep generative models that extends PyTorch☆886Updated 10 months ago
- PHYRE is a benchmark for physical reasoning.☆441Updated last year
- Hyperbolic Embeddings☆380Updated last year
- A colab that implements the Symplectic Gradient Adjustment optimizer from "The mechanics of n-player differentiable games"☆154Updated 6 years ago
- Differentiable Neural Computers, Sparse Access Memory and Sparse Differentiable Neural Computers, for Pytorch☆338Updated 2 weeks ago
- Fast, general, and tested differentiable structured prediction in PyTorch☆1,112Updated 2 years ago
- ☆182Updated 7 months ago
- Script that crawls meta data from ICLR OpenReview webpage. Tutorials on installing and using Selenium and ChromeDriver on Ubuntu.☆387Updated 5 years ago
- Code for Implicit Generation and Generalization with Energy Based Models☆350Updated last year
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆240Updated 4 years ago
- Code for the paper: Putting An End to End-to-End: Gradient-Isolated Learning of Representations☆285Updated last year
- Differentiable convex optimization layers☆1,891Updated 3 months ago
- [NeurIPS'20] Multiscale Deep Equilibrium Models☆233Updated 3 years ago
- EE227C (Spring 2018) Course page☆224Updated 3 years ago
- Progressive matrices dataset, as described in: Measuring abstract reasoning in neural networks (Barrett*, Hill*, Santoro*, Morcos, Lillic…☆175Updated 6 years ago
- [NeurIPS 2019] Deep Set Prediction Networks☆100Updated 4 years ago
- ICLR Reproducibility Challenge 2019☆220Updated 5 years ago
- Implicit MLE: Backpropagating Through Discrete Exponential Family Distributions☆257Updated last year
- Neural relational inference for interacting systems - pytorch☆753Updated 5 years ago
- PyTorch implementations of algorithms for density estimation☆578Updated 3 years ago