Alternatives and similar repositories for SATNet

Users that are interested in SATNet are comparing it to the libraries listed below

• google / neural-logic-machines
  Implementation for the Neural Logic Machines (NLM).
  ☆291Updated 6 years ago
• martius-lab / blackbox-backprop
  Torch modules that wrap blackbox combinatorial solvers according to the method presented in "Differentiating Blackbox Combinatorial Solve…
  ☆347Updated 3 years ago
• bamos / thesis
  Differentiable Optimization-Based Modeling for Machine Learning
  ☆340Updated 5 years ago
• ixaxaar / pytorch-dnc
  Differentiable Neural Computers, Sparse Access Memory and Sparse Differentiable Neural Computers, for Pytorch
  ☆346Updated 3 months ago
• google-deepmind / symplectic-gradient-adjustment
  A colab that implements the Symplectic Gradient Adjustment optimizer from "The mechanics of n-player differentiable games"
  ☆153Updated 6 years ago
• arranger1044 / awesome-spn
  A structured list of resources about Sum-Product Networks (SPNs)
  ☆255Updated 4 years ago
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆286Updated 6 years ago
• ericjang / maml-jax
  Implementation of Model-Agnostic Meta-Learning (MAML) in Jax
  ☆190Updated 3 years ago
• tkipf / c-swm
  Contrastive Learning of Structured World Models
  ☆394Updated 5 years ago
• facebookresearch / phyre
  PHYRE is a benchmark for physical reasoning.
  ☆449Updated 2 years ago
• thegregyang / GP4A
  Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…
  ☆247Updated 5 years ago
• harvardnlp / namedtensor
  Named Tensor implementation for Torch
  ☆446Updated 3 years ago
• johnhw / differentiable_sorting
  Differentiable bitonic sorting
  ☆141Updated 5 years ago
• UCLA-StarAI / LogisticCircuit
  Logistic Circuits
  ☆36Updated 6 years ago
• crazydonkey200 / neural-symbolic-machines
  Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with appl…
  ☆381Updated 2 years ago
• Cyanogenoid / dspn
  [NeurIPS 2019] Deep Set Prediction Networks
  ☆101Updated 5 years ago
• brain-research / guided-evolutionary-strategies
  Guided Evolutionary Strategies
  ☆272Updated 2 years ago
• rasmusbergpalm / recurrent-relational-networks
  Code accompanying the paper Recurrent Relational Networks for Complex Relational Reasoning https://arxiv.org/abs/1711.08028
  ☆202Updated 2 years ago
• loudinthecloud / pytorch-ntm
  Neural Turing Machines (NTM) - PyTorch Implementation
  ☆600Updated 7 years ago
• carpedm20 / karel
  Karel dataset for program synthesis and program induction
  ☆79Updated 7 years ago
• duvenaud / relax
  Optimizing control variates for black-box gradient estimation
  ☆163Updated 6 years ago
• locuslab / deq
  [NeurIPS'19] Deep Equilibrium Models
  ☆770Updated 3 years ago
• UCLA-StarAI / Semantic-Loss
  Semantic Loss code
  ☆61Updated 6 years ago
• zuoxingdong / lagom
  lagom: A PyTorch infrastructure for rapid prototyping of reinforcement learning algorithms.
  ☆377Updated 2 years ago
• google-deepmind / jax_verify
  Neural network verification in JAX
  ☆145Updated 2 years ago
• uber-research / EvoGrad
  ☆182Updated last year
• rfeinman / pyBPL
  Python implementation of Bayesian Program Learning tools (with PyTorch)
  ☆74Updated 3 years ago
• MillionIntegrals / vel
  Velocity in deep-learning research
  ☆279Updated 2 years ago
• ruosongwang / CNTK
  Convolutional Neural Tangent Kernel
  ☆112Updated 5 years ago
• reproducibility-challenge / iclr_2019
  ICLR Reproducibility Challenge 2019
  ☆217Updated 6 years ago