locuslab / SATNetLinks
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
☆422Updated 3 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).☆293Updated 6 years ago
- Differentiable Neural Computers, Sparse Access Memory and Sparse Differentiable Neural Computers, for Pytorch☆347Updated last week
- Torch modules that wrap blackbox combinatorial solvers according to the method presented in "Differentiating Blackbox Combinatorial Solve…☆347Updated 3 years ago
- A colab that implements the Symplectic Gradient Adjustment optimizer from "The mechanics of n-player differentiable games"☆153Updated 7 years ago
- A structured list of resources about Sum-Product Networks (SPNs)☆254Updated 4 years ago
- Differentiable Optimization-Based Modeling for Machine Learning☆344Updated 6 years ago
- Implementation of Model-Agnostic Meta-Learning (MAML) in Jax☆191Updated 3 years ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆289Updated 6 years ago
- Neural Turing Machines (NTM) - PyTorch Implementation☆601Updated 7 years ago
- Named Tensor implementation for Torch☆447Updated 3 years ago
- Contrastive Learning of Structured World Models☆395Updated 5 years ago
- Guided Evolutionary Strategies☆272Updated 2 years ago
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆248Updated 5 years ago
- Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with appl…☆380Updated 3 years ago
- Sum Product Flow: An Easy and Extensible Library for Sum-Product Networks☆305Updated this week
- lagom: A PyTorch infrastructure for rapid prototyping of reinforcement learning algorithms.☆378Updated 3 years ago
- Optimizing control variates for black-box gradient estimation☆163Updated 6 years ago
- PHYRE is a benchmark for physical reasoning.☆456Updated 2 years ago
- A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch☆391Updated last year
- ☆182Updated last year
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated 2 years ago
- Python implementation of Bayesian Program Learning tools (with PyTorch)☆74Updated 3 years ago
- PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).☆446Updated 5 years ago
- Code accompanying the paper Recurrent Relational Networks for Complex Relational Reasoning https://arxiv.org/abs/1711.08028☆203Updated 3 years ago
- Code for the "Neural Expectation Maximization" paper.☆126Updated 3 years ago
- Tensorflow implementation of a Neural Turing Machine☆610Updated 4 years ago
- Logistic Circuits☆36Updated 6 years ago
- hessian in pytorch☆187Updated 5 years ago
- Code for "A Meta Transfer Objective For Learning To Disentangle Causal Mechanisms"☆127Updated 6 years ago
- Code for Implicit Generation and Generalization with Energy Based Models☆361Updated 2 years ago