Alternatives and similar repositories for Lang2LTL

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

• kyegomez / RoboCAT
  Implementation of Deepmind's RoboCat: "Self-Improving Foundation Agent for Robotic Manipulation" An next generation robot LLM
  ☆87Updated 2 years ago
• OSU-NLP-Group / LLM-Planner
  [ICCV'23] LLM-Planner: Few-Shot Grounded Planning for Embodied Agents with Large Language Models
  ☆213Updated 10 months ago
• tomsilver / llm-genplan
  ☆67Updated 2 years ago
• kyegomez / awesome-robotic-foundation-models
  A vast array of Multi-Modal Embodied Robotic Foundation Models!
  ☆28Updated last year
• NVlabs / progprompt-vh
  ProgPrompt for Virtualhome
  ☆146Updated 2 years ago
• liruiw / GenSim
  Generating Robotic Simulation Tasks via Large Language Models
  ☆346Updated last year
• facebookresearch / spot-sim2real
  Spot Sim2Real Infrastructure
  ☆100Updated 8 months ago
• kyegomez / AutoRT
  Implementation of AutoRT: "AutoRT: Embodied Foundation Models for Large Scale Orchestration of Robotic Agents"
  ☆42Updated last year
• mbodiai / embodied-agents
  Seamlessly integrate state-of-the-art transformer models into robotics stacks
  ☆273Updated last month
• apple / ml-llarp
  ☆89Updated 2 months ago
• xf-zhao / Agentic-Skill-Discovery
  Official implementation of Zero-Hero paper
  ☆29Updated 11 months ago
• omron-sinicx / ViLaIn
  An official implementation of Vision-Language Interpreter (ViLaIn)
  ☆47Updated last year
• Boyiliee / ITP-BobaRobot
  Code for "Interactive Task Planning with Language Models"
  ☆33Updated 2 weeks ago
• microsoft / cohesion-based-robot-teaching-interface
  ☆13Updated 2 years ago
• realquantumcookie / APRL
  Efficient Real-World RL for Legged Locomotion via Adaptive Policy Regularization
  ☆82Updated 2 years ago
• SMARTlab-Purdue / SMART-LLM
  Code repository for SMART-LLM: Smart Multi-Agent Robot Task Planning using Large Language Models
  ☆180Updated 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…
  ☆107Updated last year
• itl-ed / llm-dp
  LLM Dynamic Planner - Combining LLM with PDDL Planners to solve an embodied task
  ☆48Updated last year
• HRI-EU / AttentiveSupport
  llm-based robot that intervenes only when needed
  ☆36Updated 6 months ago
• PKU-RL / Creative-Agents
  ☆46Updated 2 years ago
• Aaron617 / text2world
  [ACL 2025 Findings] Text2World: Benchmarking Large Language Models for Symbolic World Model Generation
  ☆27Updated 11 months ago
• zxzm-zak / AlignBot
  ☆19Updated last year
• UMass-Embodied-AGI / CoELA
  [ICLR 2024] Source codes for the paper "Building Cooperative Embodied Agents Modularly with Large Language Models"
  ☆291Updated 10 months ago
• microsoft / ChatGPT-Robot-Manipulation-Prompts
  ☆389Updated 2 years ago
• kwonathan / language-models-trajectory-generators
  Code for the RA-L paper "Language Models as Zero-Shot Trajectory Generators" available at https://arxiv.org/abs/2310.11604.
  ☆106Updated 10 months ago
• yongchao98 / NL2TL
  Framework to transform natural language into formal language (Temporal Logics).
  ☆41Updated last year
• agrimgupta92 / metamorph
  Code for "MetaMorph: Learning Universal Controllers with Transformers", Gupta et al, ICLR 2022
  ☆127Updated 3 years ago
• ygjin11 / r2-play
  The official implementation of the paper "Read to Play (R2-Play): Decision Transformer with Multimodal Game Instruction".
  ☆33Updated last year
• facebookresearch / galactic
  Galactic Scaling End-to-End Reinforcement Learning for Rearrangement at 100k Steps-Per-Second
  ☆86Updated 2 years ago
• yongchao98 / AutoTAMP
  Enhancing LLM/VLM capability for robot task and motion planning with extra algorithm based tools.
  ☆74Updated last year