locuslab / SATNet
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
☆409Updated 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…☆342Updated 3 years ago
- Implementation for the Neural Logic Machines (NLM).☆283Updated 5 years ago
- Differentiable Optimization-Based Modeling for Machine Learning☆330Updated 5 years ago
- PHYRE is a benchmark for physical reasoning.☆437Updated last year
- Named Tensor implementation for Torch☆444Updated 2 years ago
- 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☆337Updated 6 months ago
- [NeurIPS 2019] Deep Set Prediction Networks☆100Updated 4 years ago
- Implementation of Model-Agnostic Meta-Learning (MAML) in Jax☆188Updated 2 years ago
- lagom: A PyTorch infrastructure for rapid prototyping of reinforcement learning algorithms.☆374Updated 2 years ago
- Contrastive Learning of Structured World Models☆389Updated 4 years ago
- Guided Evolutionary Strategies☆268Updated last year
- Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with appl…☆377Updated 2 years ago
- Code for Neural Arithmetic Units (ICLR) and Measuring Arithmetic Extrapolation Performance (SEDL|NeurIPS)☆145Updated 3 years ago
- ☆219Updated 6 years ago
- Neural Turing Machines (NTM) - PyTorch Implementation☆597Updated 6 years ago
- Code accompanying the paper Recurrent Relational Networks for Complex Relational Reasoning https://arxiv.org/abs/1711.08028☆203Updated 2 years ago
- Probabilistic Torch is library for deep generative models that extends PyTorch☆887Updated 9 months ago
- A fast and differentiable QP solver for PyTorch.☆697Updated 5 months ago
- OptNet: Differentiable Optimization as a Layer in Neural Networks☆520Updated 4 years ago
- Differentiable bitonic sorting☆138Updated 4 years ago
- Project site for "Your Classifier is Secretly an Energy-Based Model and You Should Treat it Like One"☆420Updated 2 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
- Code for Implicit Generation and Generalization with Energy Based Models☆349Updated last year
- ICLR Reproducibility Challenge 2019☆219Updated 5 years ago
- Neural network verification in JAX☆141Updated last year
- Velocity in deep-learning research☆276Updated 2 years ago
- Dataset to assess the disentanglement properties of unsupervised learning methods☆490Updated 4 years ago
- PyTorch implementations of algorithms for density estimation☆577Updated 3 years ago
- BackPACK - a backpropagation package built on top of PyTorch which efficiently computes quantities other than the gradient.☆572Updated last month