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
  ☆37Updated 2 years ago
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆18Updated 2 years ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆34Updated last year
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 2 years ago
• lamda-bbo / WireMask-BBO
  Official implementation of NeurIPS'23 paper "Macro Placement by Wire-Mask-Guided Black-Box Optimization"
  ☆25Updated 2 weeks ago
• RU-Automated-Reasoning-Group / pi-PRL
  ICLR'22 Programmatic Reinforcement Learning
  ☆16Updated 2 years ago
• grockious / deepsynth
  DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
  ☆22Updated 4 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated 2 years ago
• JBLanier / pipeline-psro
  Official Code Release for Pipeline PSRO: A Scalable Approach for Finding Approximate Nash Equilibria in Large Games
  ☆51Updated 9 months ago
• reactive-systems / ml2
  Machine Learning for Mathematics and Logics
  ☆12Updated 2 months ago
• waterhorse1 / NAC
  (NeurIPS 2021) Neural Auto-Curricula in Two-Player Zero-Sum Games.
  ☆28Updated 3 years ago
• frenzymath / herald_translator
  ☆15Updated 3 weeks ago
• haiguanl / RLCO-Papers
  Paper collection of reinforcement learning based combinatorial optimization
  ☆54Updated 4 years ago
• lamda-bbo / macro-regulator
  Official implementation of NeurIPS'24 paper "Reinforcement Learning Policy as Macro Regulator Rather than Macro Placer".
  ☆13Updated 2 months ago
• RodrigoToroIcarte / reward_machines
  ☆69Updated last year
• NVIDIA / GraphQSat
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆52Updated 4 years ago
• ai4co / reevo
  [NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution
  ☆183Updated 3 weeks ago
• Lizn-zn / NeqLIPS
  NeqLIPS: a powerful Olympiad-level inequality prover
  ☆34Updated last month
• jidiai / TaxAI
  ☆60Updated 10 months ago
• liuanji / WU-UCT
  A novel parallel UCT algorithm with linear speedup and negligible performance loss.
  ☆119Updated 4 years ago
• emreyolcu / sat
  Learning local search heuristics for Boolean satisfiability
  ☆37Updated last year
• realChrisHahn2 / nl2spec
  nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
  ☆40Updated last year
• xmu-rl-3dv / RiskQ
  ☆13Updated last year
• snowkylin / circuit-transformer
  Official Implementation of "Circuit Transformer: A Transformer That Preserves Logical Equivalence"
  ☆15Updated 2 months ago
• shaowei-cai-group / EasySAT
  A Simple CDCL Solver
  ☆29Updated 2 years ago
• MIRALab-USTC / L2O-HEM-Torch
  The code of paper Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model. Zhihai Wang, Xijun Li,…
  ☆57Updated 2 years ago
• 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
• MIRALab-USTC / RLPapers
  Must-read papers on Reinforcement Learning (RL)
  ☆50Updated 4 years ago
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆30Updated 2 months ago
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆84Updated 2 months ago