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
• kyegomez / awesome-robotic-foundation-models
  A vast array of Multi-Modal Embodied Robotic Foundation Models!
  ☆28Updated last year
• OSU-NLP-Group / LLM-Planner
  [ICCV'23] LLM-Planner: Few-Shot Grounded Planning for Embodied Agents with Large Language Models
  ☆214Updated 10 months ago
• xf-zhao / Agentic-Skill-Discovery
  Official implementation of Zero-Hero paper
  ☆30Updated 11 months ago
• tomsilver / llm-genplan
  ☆67Updated 2 years ago
• itl-ed / llm-dp
  LLM Dynamic Planner - Combining LLM with PDDL Planners to solve an embodied task
  ☆48Updated last year
• facebookresearch / spot-sim2real
  Spot Sim2Real Infrastructure
  ☆100Updated 8 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…
  ☆107Updated last year
• kyegomez / AutoRT
  Implementation of AutoRT: "AutoRT: Embodied Foundation Models for Large Scale Orchestration of Robotic Agents"
  ☆42Updated last year
• cheryyunl / Make-An-Agent
  ☆48Updated last year
• liruiw / GenSim
  Generating Robotic Simulation Tasks via Large Language Models
  ☆346Updated last year
• 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
• soraw-ai / Awesome-Robotics-And-Agentics-Work
  All about Robotics and AI Agents you need are here
  ☆34Updated last year
• NVlabs / progprompt-vh
  ProgPrompt for Virtualhome
  ☆146Updated 2 years ago
• UMass-Embodied-AGI / CoELA
  [ICLR 2024] Source codes for the paper "Building Cooperative Embodied Agents Modularly with Large Language Models"
  ☆293Updated 10 months ago
• RishiHazra / saycanpay
  Official code release of AAAI 2024 paper SayCanPay.
  ☆53Updated 3 months ago
• yongchao98 / NL2TL
  Framework to transform natural language into formal language (Temporal Logics).
  ☆41Updated last year
• ygjin11 / r2-play
  The official implementation of the paper "Read to Play (R2-Play): Decision Transformer with Multimodal Game Instruction".
  ☆33Updated 2 years ago
• zxzm-zak / AlignBot
  ☆19Updated last year
• facebookresearch / galactic
  Galactic Scaling End-to-End Reinforcement Learning for Rearrangement at 100k Steps-Per-Second
  ☆86Updated 2 years ago
• Boyiliee / ITP-BobaRobot
  Code for "Interactive Task Planning with Language Models"
  ☆33Updated last month
• mbodiai / embodied-agents
  Seamlessly integrate state-of-the-art transformer models into robotics stacks
  ☆274Updated last month
• apple / ml-llarp
  ☆89Updated 3 months ago
• rail-berkeley / SUPE
  This code accompanies the paper "Leveraging Skills from Unlabeled Prior Data for Efficient Online Exploration."
  ☆36Updated 7 months ago
• allenai / ai2thor-colab
  🚀 Run AI2-THOR with Google Colab
  ☆39Updated 3 years ago
• PKU-RL / Creative-Agents
  ☆46Updated 2 years ago
• SMARTlab-Purdue / SMART-LLM
  Code repository for SMART-LLM: Smart Multi-Agent Robot Task Planning using Large Language Models
  ☆179Updated last year
• Baichenjia / COPO
  Online Preference Alignment for Language Models via Count-based Exploration
  ☆17Updated last year
• CraftJarvis / GROOT
  GROOT: Learning to Follow Instructions by Watching Gameplay Videos (ICLR'24, Spotlight)
  ☆67Updated 2 years ago
• omron-sinicx / ViLaIn
  An official implementation of Vision-Language Interpreter (ViLaIn)
  ☆47Updated last year