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
  ☆35Updated 2 years ago
• lamda-bbo / WireMask-BBO
  Official implementation of NeurIPS'23 paper "Macro Placement by Wire-Mask-Guided Black-Box Optimization"
  ☆19Updated 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…
  ☆57Updated 8 months ago
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 2 years ago
• zhoubohan0 / STG-Transformer
  Official implementation of "Learning from Visual Observation via Offline Pretrained State-to-Go Transformer"
  ☆19Updated last year
• polixir / RLAssistant
  RLA is a tool for managing your RL experiments automatically
  ☆25Updated last month
• xmu-rl-3dv / RiskQ
  ☆11Updated 10 months ago
• RodrigoToroIcarte / reward_machines
  ☆65Updated last year
• zzq-bot / offline-marl-framework-offpymarl
  Benchmarked implementations of Offline Multi-Agent RL Algorithms based on PyMARL codebase.
  ☆23Updated 4 months ago
• RU-Automated-Reasoning-Group / pi-PRL
  ICLR'22 Programmatic Reinforcement Learning
  ☆15Updated last year
• manantomar / Mirror-Descent-Policy-Optimization
  Mirror Descent Policy Optimization
  ☆38Updated 4 years ago
• lanyavik / BAIL
  ☆17Updated 2 years ago
• mklissa / dceo
  Learning diverse options through the Laplacian representation.
  ☆23Updated last year
• ml-jku / OfflineRL
  ☆29Updated 2 years ago
• lizhuo-1994 / NECSA
  Official implementation of Neural Episodic Control with State Abstraction
  ☆13Updated last year
• lamda-bbo / madac
  Official implementation of NeurIPS22 paper “Multi-agent Dynamic Algorithm Configuration”
  ☆24Updated last year
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆18Updated last year
• waterhorse1 / NAC
  (NeurIPS 2021) Neural Auto-Curricula in Two-Player Zero-Sum Games.
  ☆29Updated 3 years ago
• baitingzbt / PEDA
  Scaling Pareto-Efficient Decision Making via Offline Multi-Objective RL, published in ICLR 2023
  ☆31Updated 2 months ago
• liuanji / WU-UCT
  A novel parallel UCT algorithm with linear speedup and negligible performance loss.
  ☆115Updated 3 years ago
• Jinjiarui / hrl-papers
  A collection of research and survey papers of hierarchical reinforcement learning (HRL).
  ☆42Updated 4 years ago
• RU-Automated-Reasoning-Group / GCRL-LTL
  NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives
  ☆20Updated last year
• liyang619 / COLE-Platform
  Overcooked human-AI experiment platform
  ☆33Updated last year
• wenzhe-li / romi
  Code for NeurIPS 2021 paper "Offline Reinforcement Learning with Reverse Model-based Imagination"
  ☆19Updated 3 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.
  ☆43Updated 2 years ago
• frt03 / generalized_dt
  Generalized Decision Transformer for Offline Hindsight Information Matching (ICLR2022)
  ☆67Updated 2 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 / macro-regulator
  Official implementation of NeurIPS'24 paper "Reinforcement Learning Policy as Macro Regulator Rather than Macro Placer".
  ☆12Updated last month
• grockious / deepsynth
  DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
  ☆21Updated 3 years ago
• nigelyaoj / Quality-Similar-Diversity
  Official Implementation for Quality-Similar Diversity via Population Based Reinforcement Learning
  ☆17Updated last year