locuslab / SATNetLinks
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
☆416Updated 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).☆286Updated 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☆338Updated 5 years ago
- PHYRE is a benchmark for physical reasoning.☆446Updated last year
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆242Updated 4 years ago
- Named Tensor implementation for Torch☆445Updated 2 years ago
- Contrastive Learning of Structured World Models☆392Updated 5 years ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆284Updated 6 years ago
- Guided Evolutionary Strategies☆271Updated 2 years ago
- Differentiable Neural Computers, Sparse Access Memory and Sparse Differentiable Neural Computers, for Pytorch☆341Updated last week
- [NeurIPS'19] Deep Equilibrium Models☆753Updated 2 years ago
- Probabilistic Torch is library for deep generative models that extends PyTorch☆889Updated last year
- Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep lea…☆311Updated 3 years ago
- A colab that implements the Symplectic Gradient Adjustment optimizer from "The mechanics of n-player differentiable games"☆153Updated 6 years ago
- A fast and differentiable QP solver for PyTorch.☆732Updated 9 months ago
- Differentiable bitonic sorting☆141Updated 4 years ago
- A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch☆391Updated last year
- Fast, general, and tested differentiable structured prediction in PyTorch☆1,113Updated 3 years ago
- Project site for "Your Classifier is Secretly an Energy-Based Model and You Should Treat it Like One"☆423Updated 2 years ago
- Implementation of Model-Agnostic Meta-Learning (MAML) in Jax☆190Updated 2 years ago
- ☆182Updated 11 months ago
- A structured list of resources about Sum-Product Networks (SPNs)☆254Updated 4 years ago
- Velocity in deep-learning research☆276Updated 2 years ago
- Implicit MLE: Backpropagating Through Discrete Exponential Family Distributions☆258Updated last year
- Code for Neural Arithmetic Units (ICLR) and Measuring Arithmetic Extrapolation Performance (SEDL|NeurIPS)☆146Updated 3 years ago
- lagom: A PyTorch infrastructure for rapid prototyping of reinforcement learning algorithms.☆375Updated 2 years ago
- Efficient PyTorch Hessian eigendecomposition tools!☆374Updated last year
- Neural network verification in JAX☆144Updated last year
- hessian in pytorch☆187Updated 4 years ago
- higher is a pytorch library allowing users to obtain higher order gradients over losses spanning training loops rather than individual tr…☆1,621Updated 3 years ago