Alternatives and similar repositories for AutoSAT

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

• clvrai / leaps
  Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021
  ☆39Updated 2 years ago
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆19Updated 2 years ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆35Updated last year
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 3 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated 2 years ago
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆36Updated last month
• hammer-wang / Awesome-Transformers-for-Sequential-Decision-Making
  Tracking literature and additional online resources on transformers for sequential decision making including RL and beyond.
  ☆47Updated 2 years ago
• RU-Automated-Reasoning-Group / pi-PRL
  ICLR'22 Programmatic Reinforcement Learning
  ☆16Updated 2 years ago
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆200Updated 3 months ago
• liuanji / WU-UCT
  A novel parallel UCT algorithm with linear speedup and negligible performance loss.
  ☆120Updated 4 years ago
• frenzymath / herald_translator
  ☆23Updated 2 months ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• Miracle-Messi / Isa-AutoFormal
  ☆15Updated 10 months ago
• zzq-bot / offline-marl-framework-offpymarl
  Benchmarked implementations of Offline Multi-Agent RL Algorithms based on PyMARL codebase.
  ☆29Updated 10 months ago
• JBLanier / pipeline-psro
  Official Code Release for Pipeline PSRO: A Scalable Approach for Finding Approximate Nash Equilibria in Large Games
  ☆54Updated last year
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆25Updated 2 weeks ago
• NVIDIA / GraphQSat
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆52Updated 4 years ago
• jidiai / TaxAI
  ☆61Updated last year
• albertqjiang / draft_sketch_prove
  ☆68Updated last year
• xionghuichen / MAPLE
  The Official Code for Offline Model-based Adaptable Policy Learning (NeurIPS'21 & TPAMI)
  ☆25Updated last year
• jon--lee / decision-pretrained-transformer
  Implemention of the Decision-Pretrained Transformer (DPT) from the paper Supervised Pretraining Can Learn In-Context Reinforcement Learni…
  ☆71Updated last year
• RodrigoToroIcarte / reward_machines
  ☆70Updated last year
• Shanghai-Digital-Brain-Laboratory / BDM-DB1
  A large-scale multi-modal pre-trained model
  ☆132Updated 2 years ago
• aicenter / openspiel_reproductions
  Results reproductions & comparisons between OpenSpiel implementations, associated paper & originating works
  ☆16Updated 4 years ago
• project-numina / kimina-lean-server
  Kimina Lean server (+ client SDK)
  ☆109Updated 3 weeks ago
• indylab / nxdo
  Deep RL Code for XDO: A Double Oracle Algorithm for Extensive-Form Games
  ☆39Updated 4 years ago
• haldai / ABL_minimal
  A minimal example of Abductive Learning
  ☆15Updated last year
• floodsung / LLM-with-RL-papers
  A collection of LLM with RL papers
  ☆277Updated last year
• grockious / deepsynth
  DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
  ☆22Updated 4 years ago
• cassidylaidlaw / effective-horizon
  Code and data for the paper "Bridging RL Theory and Practice with the Effective Horizon"
  ☆48Updated last year