locuslab / SATNet
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
☆414Updated 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☆335Updated 5 years ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆282Updated 6 years ago
- A colab that implements the Symplectic Gradient Adjustment optimizer from "The mechanics of n-player differentiable games"☆154Updated 6 years ago
- Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with appl…☆380Updated 2 years ago
- PHYRE is a benchmark for physical reasoning.☆444Updated last year
- Named Tensor implementation for Torch☆444Updated 2 years ago
- Differentiable Neural Computers, Sparse Access Memory and Sparse Differentiable Neural Computers, for Pytorch☆340Updated last month
- Optimizing control variates for black-box gradient estimation☆163Updated 5 years ago
- a python implementation of various versions of the information bottleneck, including automated parameter searching☆126Updated 4 years ago
- Hyperbolic Embeddings☆382Updated last year
- [NeurIPS 2019] Deep Set Prediction Networks☆100Updated 4 years ago
- Code accompanying the paper Recurrent Relational Networks for Complex Relational Reasoning https://arxiv.org/abs/1711.08028☆202Updated 2 years ago
- Differentiable bitonic sorting☆140Updated 4 years ago
- A structured list of resources about Sum-Product Networks (SPNs)☆253Updated 4 years ago
- Code for the paper: Putting An End to End-to-End: Gradient-Isolated Learning of Representations☆285Updated 2 years ago
- Guided Evolutionary Strategies☆270Updated 2 years ago
- Python implementation of Bayesian Program Learning tools (with PyTorch)☆72Updated 2 years ago
- A fast and differentiable QP solver for PyTorch.☆709Updated 8 months ago
- Implementations of the algorithms described in Differentiable plasticity: training plastic networks with gradient descent, a research pap…☆401Updated 5 years ago
- [NeurIPS'19] Deep Equilibrium Models☆748Updated 2 years ago
- ☆182Updated 9 months ago
- Implementation of Model-Agnostic Meta-Learning (MAML) in Jax☆189Updated 2 years ago
- Contrastive Learning of Structured World Models☆391Updated 4 years ago
- Code for the "Neural Expectation Maximization" paper.☆126Updated 2 years ago
- PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).☆425Updated 4 years ago
- [NeurIPS'20] Multiscale Deep Equilibrium Models☆234Updated 3 years ago
- Progressive matrices dataset, as described in: Measuring abstract reasoning in neural networks (Barrett*, Hill*, Santoro*, Morcos, Lillic…☆178Updated 6 years ago
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆241Updated 4 years ago