Alternatives and similar repositories for Lang2LTL

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

• yongchao98 / NL2TL
  Framework to transform natural language into formal language (Temporal Logics).
  ☆27Updated last year
• tomsilver / llm-genplan
  ☆60Updated last year
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆77Updated last month
• kyegomez / RoboCAT
  Implementation of Deepmind's RoboCat: "Self-Improving Foundation Agent for Robotic Manipulation" An next generation robot LLM
  ☆86Updated last year
• minecraft-saar / autoplanbench
  ☆14Updated 5 months ago
• ziyanx02 / multiagent-quadruped-environment
  A multi-agent quadruped environment, supporting learning of locomotion control or merely high-level planning.
  ☆97Updated last year
• Div99 / LISA
  (NeurIPS '22) LISA: Learning Interpretable Skill Abstractions - A framework for unsupervised skill learning using Imitation
  ☆31Updated 2 years ago
• clear-nus / gpt-pddl
  ☆22Updated 2 years ago
• xlang-ai / text2reward
  [ICLR 2024 Spotlight] Code for the paper "Text2Reward: Reward Shaping with Language Models for Reinforcement Learning"
  ☆166Updated 6 months ago
• 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…
  ☆97Updated 10 months ago
• kevinliang888 / IntroPlan
  [NeurIPS 2024] Introspective Planning: Aligning Robots’ Uncertainty with Inherent Task Ambiguity
  ☆21Updated 5 months ago
• omron-sinicx / ViLaIn
  An official implementation of Vision-Language Interpreter (ViLaIn)
  ☆38Updated last year
• AI-Planning / pddl
  Unquestionable PDDL 3.1 parser
  ☆128Updated last week
• UMass-Embodied-AGI / CoELA
  [ICLR 2024] Source codes for the paper "Building Cooperative Embodied Agents Modularly with Large Language Models"
  ☆259Updated 2 months ago
• NVlabs / progprompt-vh
  ProgPrompt for Virtualhome
  ☆137Updated 2 years ago
• OSU-NLP-Group / LLM-Planner
  [ICCV'23] LLM-Planner: Few-Shot Grounded Planning for Embodied Agents with Large Language Models
  ☆190Updated 3 months ago
• MandiZhao / robot-collab
  Codebase for paper: RoCo: Dialectic Multi-Robot Collaboration with Large Language Models
  ☆211Updated last year
• mihdalal / planseqlearn
  [ICLR 2024] PyTorch Code for Plan-Seq-Learn: Language Model Guided RL for Solving Long Horizon Robotics Tasks
  ☆103Updated 10 months ago
• cheryyunl / Make-An-Agent
  ☆45Updated 11 months ago
• yongchao98 / AutoTAMP
  Enhancing LLM/VLM capability for robot task and motion planning with extra algorithm based tools.
  ☆71Updated 9 months ago
• Boyiliee / ITP-BobaRobot
  Code for "Interactive Task Planning with Language Models"
  ☆30Updated 2 months ago
• yding25 / GPT-Planner
  Paper: Integrating Action Knowledge and LLMs for Task Planning and Situation Handling in Open Worlds
  ☆35Updated last year
• agrimgupta92 / metamorph
  Code for "MetaMorph: Learning Universal Controllers with Transformers", Gupta et al, ICLR 2022
  ☆123Updated 3 years ago
• itl-ed / llm-dp
  LLM Dynamic Planner - Combining LLM with PDDL Planners to solve an embodied task
  ☆43Updated 5 months ago
• yongchao98 / multi-agent-framework
  LLM multi-agent discussion framework for multi-agent/robot situations.
  ☆35Updated 9 months ago
• RishiHazra / saycanpay
  Official code release of AAAI 2024 paper SayCanPay.
  ☆49Updated last year
• Learning-and-Intelligent-Systems / llm4pddl
  Large language models for PDDL domains
  ☆39Updated 2 years ago
• eric-ai-lab / llm_coordination
  Code repository for the NAACL 2025 paper "LLM-Coordination: Evaluating and Analyzing Multi-agent Coordination Abilities in Large Language…
  ☆37Updated 8 months ago
• ZJLAB-AMMI / LLM4RL
  A RL approach to enable cost-effective, intelligent interactions between a local agent and a remote LLM
  ☆76Updated 10 months ago
• Gabesarch / HELPER
  ☆29Updated 9 months ago