Alternatives and similar repositories for NL2TL:

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

• yongchao98 / multi-agent-framework
  LLM multi-agent discussion framework for multi-agent/robot situations.
  ☆28Updated 4 months ago
• UM-ARM-Lab / Efficient-Eng-2-LTL
  The associated repo for paper "Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specificat…
  ☆20Updated last year
• LTL2Action / LTL2Action
  This is the code repository accompanying the ICML 2021 paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.o…
  ☆28Updated 7 months ago
• yongchao98 / AutoTAMP
  Enhancing LLM/VLM capability for robot task and motion planning with extra algorithm based tools.
  ☆56Updated 4 months ago
• zhehuazhou / LLM_Reward_Design
  ☆9Updated last year
• keyshor / spectrl_tool
  Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…
  ☆16Updated 4 years ago
• tomsilver / llm-genplan
  ☆56Updated last year
• RishiHazra / saycanpay
  Official code release of AAAI 2024 paper SayCanPay.
  ☆44Updated 9 months ago
• pyrddlgym-project / pyRDDLGym
  A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.
  ☆75Updated 2 weeks ago
• google-deepmind / language_to_reward_2023
  ☆123Updated 5 months ago
• alperkamil / csrl
  Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
  ☆23Updated 3 years ago
• yding25 / GPT-Planner
  Paper: Integrating Action Knowledge and LLMs for Task Planning and Situation Handling in Open Worlds
  ☆33Updated 9 months ago
• intelligent-control-lab / guard
  ☆45Updated last week
• srzer / LaMo-2023
  Official code for "Unleashing the Power of Pre-trained Language Models for Offline Reinforcement Learning".
  ☆39Updated 9 months ago
• ut-amrl / SocialGym2
  SocialGym 2: A lightweight benchmark and simulator for multi-robot social navigation using ROS and the OpenAI gym.
  ☆54Updated 9 months ago
• NVlabs / progprompt-vh
  ProgPrompt for Virtualhome
  ☆127Updated last year
• ademiadeniji / lamp
  ☆44Updated last year
• grockious / lcrl
  Logically-Constrained Reinforcement Learning
  ☆53Updated 6 months ago
• jity16 / ACE-Off-Policy-Actor-Critic-with-Causality-Aware-Entropy-Regularization
  Official PyTorch implementation of "ACE:Off-Policy Actor-Critic with Causality-Aware Entropy Regularization"
  ☆29Updated 8 months ago
• RU-Automated-Reasoning-Group / GCRL-LTL
  NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives
  ☆20Updated last year
• GuanSuns / LLMs-World-Models-for-Planning
  The source code of the paper "Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Pla…
  ☆81Updated 5 months ago
• ronuchit / pddlgym_planners
  PDDL planner interface for PDDLGym.
  ☆29Updated 11 months ago
• HenryLHH / fusion
  ☆15Updated 3 months ago
• StanfordVL / bddl
  ☆97Updated this week
• Learning-and-Intelligent-Systems / llm4pddl
  Large language models for PDDL domains
  ☆38Updated last year
• ronuchit / LOFT_IROS_2021
  ☆18Updated last year
• Liang-ZX / AdaptDiffuser
  [ICML'2023] "AdaptDiffuser: Diffusion Models as Adaptive Self-evolving Planners"
  ☆54Updated last year
• bitzhangcy / Safe-Deep-Reinforcement-Learning
  ☆40Updated last week
• SeanJia / CoTPC
  Chain-of-Thought Predictive Control
  ☆55Updated last year
• TUMcps / human-robot-gym
  ☆22Updated 3 weeks ago