Alternatives and similar repositories for AutoSAT

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

• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆38Updated last year
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆19Updated 2 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated 2 years ago
• lamda-bbo / macro-regulator
  Official implementation of NeurIPS'24 paper "Reinforcement Learning Policy as Macro Regulator Rather than Macro Placer".
  ☆19Updated 5 months ago
• clvrai / leaps
  Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021
  ☆39Updated 4 months ago
• reactive-systems / ml2
  Machine Learning for Mathematics and Logics
  ☆16Updated 10 months ago
• Gy-Hu / AIG2INV
  DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)
  ☆13Updated 2 years ago
• ai4co / reevo
  [NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution
  ☆244Updated 2 weeks ago
• NVIDIA / GraphQSat
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆52Updated 5 years ago
• cmu-l3 / alphaverus
  AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement
  ☆24Updated 8 months ago
• Lizn-zn / NeqLIPS
  NeqLIPS: a powerful Olympiad-level inequality prover
  ☆39Updated 5 months ago
• cornell-zhang / heurigym
  Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization (ICLR'26)
  ☆61Updated last month
• krzhu / abc_py
  Simple Python interface for ABC
  ☆25Updated 2 years ago
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆215Updated 8 months ago
• mvcisback / py-aiger
  py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
  ☆49Updated last month
• Miracle-Messi / Isa-AutoFormal
  ☆16Updated last year
• shaowei-cai-group / EasySAT
  A Simple CDCL Solver
  ☆35Updated 2 years ago
• lamda-bbo / WireMask-BBO
  Official implementation of NeurIPS'23 paper "Macro Placement by Wire-Mask-Guided Black-Box Optimization"
  ☆30Updated 8 months ago
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆36Updated 6 months ago
• albertqjiang / draft_sketch_prove
  ☆71Updated 2 years ago
• openai / lean-gym
  ☆200Updated 3 years ago
• Edward-Sun / DIFUSCO
  Code of NeurIPS paper: arxiv.org/abs/2302.08224
  ☆241Updated last year
• Purewhite2019 / rethinking_autoformalization
  [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach
  ☆26Updated 8 months ago
• frenzymath / herald_translator
  ☆28Updated 7 months ago
• krzhu / abcRL
  MLCAD 2020: Reinforcement for logic optimization sequence exploration
  ☆29Updated 5 years ago
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆117Updated 10 months ago
• laiyao1 / ChiPFormer
  The release for ICML 2023 paper
  ☆52Updated last year
• cmu-l3 / minictx-eval
  Neural theorem proving evaluation via the Lean REPL
  ☆23Updated 6 months ago
• yycdavid / program-synthesis-guided-RL
  ☆25Updated 3 years ago
• rookie-joe / PDA
  ☆35Updated last year