locuslab / SATNet
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
☆405Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for SATNet
- Implementation for the Neural Logic Machines (NLM).☆283Updated 5 years ago
- Torch modules that wrap blackbox combinatorial solvers according to the method presented in "Differentiating Blackbox Combinatorial Solve…☆340Updated 2 years ago
- Differentiable Optimization-Based Modeling for Machine Learning☆326Updated 5 years ago
- Differentiable Neural Computers, Sparse Access Memory and Sparse Differentiable Neural Computers, for Pytorch☆338Updated 3 months ago
- PHYRE is a benchmark for physical reasoning.☆433Updated last year
- Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with appl…☆378Updated 2 years ago
- PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).☆418Updated 4 years ago
- Named Tensor implementation for Torch☆443Updated 2 years ago
- Code accompanying the paper Recurrent Relational Networks for Complex Relational Reasoning https://arxiv.org/abs/1711.08028☆203Updated 2 years ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆269Updated 5 years ago
- Guided Evolutionary Strategies☆265Updated last year
- Implementation of Model-Agnostic Meta-Learning (MAML) in Jax☆188Updated 2 years ago
- [NeurIPS 2019] Deep Set Prediction Networks☆100Updated 4 years ago
- Differentiable bitonic sorting☆138Updated 4 years ago
- Contrastive Learning of Structured World Models☆388Updated 4 years ago
- A colab that implements the Symplectic Gradient Adjustment optimizer from "The mechanics of n-player differentiable games"☆153Updated 5 years ago
- A structured list of resources about Sum-Product Networks (SPNs)☆251Updated 3 years ago
- Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep lea…☆300Updated 2 years ago
- Fast, general, and tested differentiable structured prediction in PyTorch☆1,106Updated 2 years ago
- Code for the paper: Putting An End to End-to-End: Gradient-Isolated Learning of Representations☆284Updated last year
- ☆182Updated 3 months ago
- Code for Implicit Generation and Generalization with Energy Based Models☆345Updated last year
- A fast and differentiable QP solver for PyTorch.☆689Updated 2 months ago
- CompILE: Compositional Imitation Learning and Execution (ICML 2019)☆110Updated 5 years ago
- Original PyTorch implementation of the Leap meta-learner (https://arxiv.org/abs/1812.01054) along with code for running the Omniglot expe…☆148Updated last year
- Convolutional Neural Tangent Kernel☆107Updated 5 years ago
- Optimizing control variates for black-box gradient estimation☆162Updated 5 years ago
- [NeurIPS'19] Deep Equilibrium Models☆727Updated 2 years ago
- Code for "A Meta Transfer Objective For Learning To Disentangle Causal Mechanisms"☆125Updated 5 years ago