Alternatives and similar repositories for Lang2LTL

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

• tomsilver / llm-genplan
  ☆59Updated last year
• kyegomez / RoboCAT
  Implementation of Deepmind's RoboCat: "Self-Improving Foundation Agent for Robotic Manipulation" An next generation robot LLM
  ☆81Updated last year
• yongchao98 / NL2TL
  Framework to transform natural language into formal language (Temporal Logics).
  ☆27Updated last year
• omron-sinicx / ViLaIn
  An official implementation of Vision-Language Interpreter (ViLaIn)
  ☆36Updated last year
• clear-nus / gpt-pddl
  ☆21Updated 2 years ago
• minecraft-saar / autoplanbench
  ☆14Updated 4 months ago
• zxzm-zak / AlignBot
  ☆17Updated 5 months ago
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆76Updated 3 weeks ago
• NVlabs / progprompt-vh
  ProgPrompt for Virtualhome
  ☆133Updated last year
• microsoft / GPT4Vision-Robot-Manipulation-Prompts
  This repository provides the sample code designed to interpret human demonstration videos and convert them into high-level tasks for robo…
  ☆39Updated 7 months ago
• Necolizer / RM-PRT
  Realistic Robotic Manipulation Simulator and Benchmark with Progressive Reasoning Tasks
  ☆24Updated 10 months ago
• kevinzakka / robopianist-rl
  RL code for training piano-playing policies for RoboPianist.
  ☆48Updated last year
• real-stanford / maniwav
  Official codebase of paper "ManiWAV: Learning Robot Manipulation from In-the-Wild Audio-Visual Data"
  ☆55Updated 10 months ago
• vivekmyers / palo
  Code for the paper "Policy Adaptation via Language Optimization: Decomposing Tasks for Few-Shot Imitation"
  ☆29Updated 6 months ago
• Boyiliee / ITP-BobaRobot
  Code for "Interactive Task Planning with Language Models"
  ☆30Updated last month
• rail-berkeley / SUPE
  This code accompanies the paper "Leveraging Skills from Unlabeled Prior Data for Efficient Online Exploration."
  ☆28Updated this week
• StanfordVL / bddl
  ☆116Updated last week
• apple / ml-llarp
  ☆76Updated last year
• cheryyunl / Make-An-Agent
  ☆44Updated 10 months ago
• yongchao98 / AutoTAMP
  Enhancing LLM/VLM capability for robot task and motion planning with extra algorithm based tools.
  ☆69Updated 8 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
  ☆119Updated 3 years ago
• zt-yang / diffusion-ccsp
  Code for Compositional Diffusion-Based Continuous Constraint Solvers (CoRL 23)
  ☆58Updated last year
• Div99 / LISA
  (NeurIPS '22) LISA: Learning Interpretable Skill Abstractions - A framework for unsupervised skill learning using Imitation
  ☆29Updated 2 years ago
• xf-zhao / Agentic-Skill-Discovery
  Official implementation of Zero-Hero paper
  ☆24Updated 3 months ago
• arthurfenderbucker / LaTTe-Language-Trajectory-TransformEr
  ☆40Updated 9 months ago
• anuragajay / hip
  Codebase for HiP
  ☆90Updated last year
• UMass-Embodied-AGI / CoELA
  [ICLR 2024] Source codes for the paper "Building Cooperative Embodied Agents Modularly with Large Language Models"
  ☆260Updated 2 months ago
• amberxie88 / lapp
  Implementation of Language-Conditioned Path Planning (Amber Xie, Youngwoon Lee, Pieter Abbeel, Stephen James)
  ☆23Updated last year
• ziyanx02 / multiagent-quadruped-environment
  A multi-agent quadruped environment, supporting learning of locomotion control or merely high-level planning.
  ☆94Updated last year