locuslab / SATNetLinks
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
Sorting:
- Implementation for the Neural Logic Machines (NLM).☆284Updated 6 years ago
- Torch modules that wrap blackbox combinatorial solvers according to the method presented in "Differentiating Blackbox Combinatorial Solve…☆345Updated 3 years ago
- Differentiable Optimization-Based Modeling for Machine Learning☆337Updated 5 years ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆283Updated 6 years ago
- Differentiable Neural Computers, Sparse Access Memory and Sparse Differentiable Neural Computers, for Pytorch☆341Updated 2 weeks ago
- A colab that implements the Symplectic Gradient Adjustment optimizer from "The mechanics of n-player differentiable games"☆154Updated 6 years ago
- [NeurIPS'19] Deep Equilibrium Models☆750Updated 2 years ago
- Contrastive Learning of Structured World Models☆392Updated 5 years ago
- PHYRE is a benchmark for physical reasoning.☆446Updated last year
- Code for Implicit Generation and Generalization with Energy Based Models☆351Updated 2 years ago
- PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).☆427Updated 4 years ago
- ☆219Updated 7 years ago
- Differentiable bitonic sorting☆141Updated 4 years ago
- Guided Evolutionary Strategies☆271Updated 2 years ago
- ICLR Reproducibility Challenge 2019☆218Updated 6 years ago
- A structured list of resources about Sum-Product Networks (SPNs)☆254Updated 4 years ago
- Implementation of Model-Agnostic Meta-Learning (MAML) in Jax☆189Updated 2 years ago
- Named Tensor implementation for Torch☆444Updated 2 years ago
- Code accompanying the paper Recurrent Relational Networks for Complex Relational Reasoning https://arxiv.org/abs/1711.08028☆202Updated 2 years ago
- [NeurIPS'20] Multiscale Deep Equilibrium Models☆233Updated 3 years ago
- Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with appl…☆381Updated 2 years ago
- ☆182Updated 10 months ago
- [IJCAI'19, NeurIPS'19] Anode: Unconditionally Accurate Memory-Efficient Gradients for Neural ODEs☆104Updated 4 years ago
- OptNet: Differentiable Optimization as a Layer in Neural Networks☆536Updated 5 years ago
- A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch☆391Updated last year
- Convolutional Neural Tangent Kernel☆111Updated 5 years ago
- Code for the "Neural Expectation Maximization" paper.☆126Updated 2 years ago
- lagom: A PyTorch infrastructure for rapid prototyping of reinforcement learning algorithms.☆375Updated 2 years ago
- A fast and differentiable QP solver for PyTorch.☆721Updated 9 months ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆86Updated 10 months ago