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 / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆35Updated last year
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆19Updated 2 years ago
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 3 years 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
• lamda-bbo / WireMask-BBO
  Official implementation of NeurIPS'23 paper "Macro Placement by Wire-Mask-Guided Black-Box Optimization"
  ☆26Updated 2 months ago
• zzq-bot / offline-marl-framework-offpymarl
  Benchmarked implementations of Offline Multi-Agent RL Algorithms based on PyMARL codebase.
  ☆29Updated 10 months ago
• polixir / RLAssistant
  RLA is a tool for managing your RL experiments automatically
  ☆30Updated 6 months 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".
  ☆14Updated last month
• RodrigoToroIcarte / reward_machines
  ☆70Updated last year
• laiyao1 / ChiPFormer
  The release for ICML 2023 paper
  ☆48Updated last year
• claireaoi / hierarchical-rule-induction
  Neuro-Symbolic Hierarchical Rule Induction
  ☆14Updated 2 years ago
• facebookresearch / off-belief-learning
  Implementation of the Off Belief Learning algorithm.
  ☆48Updated 2 years ago
• yuqingd / ellm
  ☆81Updated last year
• 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
• aibasel / downward-benchmarks
  ☆39Updated 8 months ago
• IretonLiu / mine-pddl
  ☆22Updated 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…
  ☆69Updated last year
• nigelyaoj / Quality-Similar-Diversity
  Official Implementation for Quality-Similar Diversity via Population Based Reinforcement Learning
  ☆17Updated 2 years ago
• xionghuichen / MAPLE
  The Official Code for Offline Model-based Adaptable Policy Learning (NeurIPS'21 & TPAMI)
  ☆25Updated last year
• AI-Planning / pddl-generators
  A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).
  ☆117Updated 2 months ago
• gavlegoat / safe-learning
  ☆18Updated 2 years ago
• lamda-bbo / madac
  Official implementation of NeurIPS22 paper “Multi-agent Dynamic Algorithm Configuration”
  ☆25Updated 2 years ago
• baitingzbt / PEDA
  Scaling Pareto-Efficient Decision Making via Offline Multi-Objective RL, published in ICLR 2023
  ☆32Updated 8 months ago
• MIRALab-USTC / AI4EDA-EfficientPlace
  This is the code for our paper "Reinforcement Learning within Tree Search for Fast Macro Placement".
  ☆29Updated 8 months ago
• liyang619 / COLE-Platform
  Overcooked human-AI experiment platform
  ☆38Updated last year
• liuanji / WU-UCT
  A novel parallel UCT algorithm with linear speedup and negligible performance loss.
  ☆120Updated 4 years ago
• IDEALLab / EngiBench
  Benchmarks for automated engineering design
  ☆14Updated this week