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).
  ☆284Updated 6 years ago
• martius-lab / blackbox-backprop
  Torch modules that wrap blackbox combinatorial solvers according to the method presented in "Differentiating Blackbox Combinatorial Solve…
  ☆345Updated 3 years ago
• bamos / thesis
  Differentiable Optimization-Based Modeling for Machine Learning
  ☆337Updated 5 years ago
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆283Updated 6 years ago
• ixaxaar / pytorch-dnc
  Differentiable Neural Computers, Sparse Access Memory and Sparse Differentiable Neural Computers, for Pytorch
  ☆341Updated 2 weeks ago
• google-deepmind / symplectic-gradient-adjustment
  A colab that implements the Symplectic Gradient Adjustment optimizer from "The mechanics of n-player differentiable games"
  ☆154Updated 6 years ago
• locuslab / deq
  [NeurIPS'19] Deep Equilibrium Models
  ☆750Updated 2 years ago
• tkipf / c-swm
  Contrastive Learning of Structured World Models
  ☆392Updated 5 years ago
• facebookresearch / phyre
  PHYRE is a benchmark for physical reasoning.
  ☆446Updated last year
• openai / ebm_code_release
  Code for Implicit Generation and Generalization with Energy Based Models
  ☆351Updated 2 years ago
• vacancy / NSCL-PyTorch-Release
  PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).
  ☆427Updated 4 years ago
• uber-research / intrinsic-dimension
  ☆219Updated 7 years ago
• johnhw / differentiable_sorting
  Differentiable bitonic sorting
  ☆141Updated 4 years ago
• brain-research / guided-evolutionary-strategies
  Guided Evolutionary Strategies
  ☆271Updated 2 years ago
• reproducibility-challenge / iclr_2019
  ICLR Reproducibility Challenge 2019
  ☆218Updated 6 years ago
• arranger1044 / awesome-spn
  A structured list of resources about Sum-Product Networks (SPNs)
  ☆254Updated 4 years ago
• ericjang / maml-jax
  Implementation of Model-Agnostic Meta-Learning (MAML) in Jax
  ☆189Updated 2 years ago
• harvardnlp / namedtensor
  Named Tensor implementation for Torch
  ☆444Updated 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
• locuslab / mdeq
  [NeurIPS'20] Multiscale Deep Equilibrium Models
  ☆233Updated 3 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
• uber-research / EvoGrad
  ☆182Updated 10 months ago
• amirgholami / anode
  [IJCAI'19, NeurIPS'19] Anode: Unconditionally Accurate Memory-Efficient Gradients for Neural ODEs
  ☆104Updated 4 years ago
• locuslab / optnet
  OptNet: Differentiable Optimization as a Layer in Neural Networks
  ☆536Updated 5 years ago
• pyprob / pyprob
  A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch
  ☆391Updated last year
• ruosongwang / CNTK
  Convolutional Neural Tangent Kernel
  ☆111Updated 5 years ago
• sjoerdvansteenkiste / Neural-EM
  Code for the "Neural Expectation Maximization" paper.
  ☆126Updated 2 years ago
• zuoxingdong / lagom
  lagom: A PyTorch infrastructure for rapid prototyping of reinforcement learning algorithms.
  ☆375Updated 2 years ago
• locuslab / qpth
  A fast and differentiable QP solver for PyTorch.
  ☆721Updated 9 months ago
• eth-sri / dl2
  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