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
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 2 years ago
• RU-Automated-Reasoning-Group / pi-PRL
  ICLR'22 Programmatic Reinforcement Learning
  ☆16Updated 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…
  ☆60Updated 10 months ago
• lamda-bbo / WireMask-BBO
  Official implementation of NeurIPS'23 paper "Macro Placement by Wire-Mask-Guided Black-Box Optimization"
  ☆20Updated last year
• lamda-bbo / offline-moo
  Official implementation of ICML'24 paper "Offline Multi-Objective Optimization".
  ☆18Updated 5 months ago
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆18Updated 2 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated last year
• ml-jku / OfflineRL
  ☆30Updated 2 years ago
• liuanji / WU-UCT
  A novel parallel UCT algorithm with linear speedup and negligible performance loss.
  ☆116Updated 3 years ago
• grockious / deepsynth
  DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
  ☆21Updated 3 years ago
• ryanxhr / POR
  [NeurIPS 2022 Oral] The official implementation of POR in "A Policy-Guided Imitation Approach for Offline Reinforcement Learning"
  ☆58Updated last year
• lamda-bbo / madac
  Official implementation of NeurIPS22 paper “Multi-agent Dynamic Algorithm Configuration”
  ☆24Updated 2 years ago
• k4ntz / NUDGE
  Logic Reinforcement Learning
  ☆16Updated 8 months ago
• xionghuichen / MAPLE
  The Official Code for Offline Model-based Adaptable Policy Learning (NeurIPS'21 & TPAMI)
  ☆23Updated last year
• polixir / RLAssistant
  RLA is a tool for managing your RL experiments automatically
  ☆27Updated 2 months 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.
  ☆45Updated 2 years ago
• Dragon-Zhuang / BPPO
  Author's Pytorch implementation of ICLR2023 paper Behavior Proximal Policy Optimization (BPPO).
  ☆82Updated last year
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆34Updated 10 months ago
• cassidylaidlaw / effective-horizon
  Code and data for the paper "Bridging RL Theory and Practice with the Effective Horizon"
  ☆45Updated 9 months ago
• yuqingd / ellm
  ☆74Updated last year
• RodrigoToroIcarte / reward_machines
  ☆66Updated last year
• manantomar / Mirror-Descent-Policy-Optimization
  Mirror Descent Policy Optimization
  ☆38Updated 4 years ago
• baitingzbt / PEDA
  Scaling Pareto-Efficient Decision Making via Offline Multi-Objective RL, published in ICLR 2023
  ☆32Updated 3 months ago
• xmu-rl-3dv / RiskQ
  ☆12Updated last year
• Stilwell-Git / Randomized-Return-Decomposition
  TensorFlow implementation for our paper "Learning Long-Term Reward Redistribution via Randomized Return Decomposition"
  ☆19Updated 3 years ago
• ymzhang01 / focops
  Pytorch Implementation for First Order Constrained Optimization in Policy Space (FOCOPS).
  ☆26Updated 3 years ago
• claireaoi / hierarchical-rule-induction
  Neuro-Symbolic Hierarchical Rule Induction
  ☆12Updated 2 years ago
• mklissa / dceo
  Learning diverse options through the Laplacian representation.
  ☆23Updated last year
• ml-jku / L2M
  Learning to Modulate pre-trained Models in RL (Decision Transformer, LoRA, Fine-tuning)
  ☆55Updated 5 months ago