☆18Feb 20, 2025Updated last year
Alternatives and similar repositories for llm-pddl-planning
Users that are interested in llm-pddl-planning are comparing it to the libraries listed below
Sorting:
- this is for fun, ain't it grand!☆21Sep 18, 2025Updated 5 months ago
- Unquestionable PDDL 3.1 parser☆159Feb 28, 2026Updated last week
- ☆24Mar 20, 2024Updated last year
- The source code of the paper "Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Pla…☆107Aug 11, 2024Updated last year
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17Feb 3, 2024Updated 2 years ago
- A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).☆149Jan 3, 2026Updated 2 months ago
- Code for the paper Bootstrap Your Own Skills: Learning to Solve New Tasks with Large Language Model Guidance, accepted to CoRL 2023 as an…☆35Jul 15, 2025Updated 7 months ago
- ☆42Nov 13, 2024Updated last year
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- Shared MuJoCo simulation scenes and assets for ROBEL environments.☆14Jul 31, 2020Updated 5 years ago
- Training and testing code from our CVPR 2023 paper "Are Deep Neural Networks SMARTer than Second Graders?"☆11Aug 10, 2023Updated 2 years ago
- Oculus-Rift - Gazebo Navigator (PS3 controller & keyboard op)☆11Oct 9, 2014Updated 11 years ago
- ☆46Nov 18, 2024Updated last year
- Python Code used to communicate with the ST VL6180 TOF sensor using a Rasberry Pi and Python 3.X☆10Aug 15, 2019Updated 6 years ago
- Evaluation Pipeline for medical tasks.☆12Feb 13, 2026Updated 3 weeks ago
- Official implementation of the paper "On the Importance of Environments in Human-Robot Coordination", published in RSS 2021.☆16May 1, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- Code for "Demonstration-free Autonomous Reinforcement Learning via Implicit and Bidirectional Curriculum" (ICML 2023)☆10Jul 6, 2023Updated 2 years ago
- ☆11Jan 13, 2026Updated last month
- Robot@Home2 is an enhanced version of the Robot@Home dataset, aimed at improving usability and functionality for developing and testing m…☆10Sep 28, 2023Updated 2 years ago
- ☆11Nov 8, 2023Updated 2 years ago
- ProxyExplainer for Graph Neural Networks☆15Oct 24, 2024Updated last year
- main augmentation script for real world robot dataset.☆39May 18, 2023Updated 2 years ago
- Active Perceptive Motion Generation for Mobile Manipulation☆42Jun 16, 2024Updated last year
- ☆22Jan 23, 2026Updated last month
- [ICML 2025] Closed-Loop Long-Horizon Robotic Planning via Equilibrium Sequence Modeling☆12May 5, 2025Updated 10 months ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 years ago
- Multiple robot systems (ROS2)☆10Mar 20, 2023Updated 2 years ago
- Repo for the walking robot's vision based navigation code☆10Jun 6, 2023Updated 2 years ago
- Zero-Cost Whole-Body Teleoperation for Mobile Manipulation☆11Mar 4, 2025Updated last year
- MuJoCo models for Robotiq grippers☆11Aug 14, 2023Updated 2 years ago
- ☆10Jan 28, 2026Updated last month
- A visualization system for RoboCup@Home robots☆10Jul 12, 2019Updated 6 years ago
- CAR-bench☆21Feb 23, 2026Updated last week
- Solving Competition Geometry Problems in Lean☆31Aug 26, 2025Updated 6 months ago
- Using mobile robots in an industry 4.0 setting for working alongside human operators and assisting them to increase the efficiency of man…☆11Dec 12, 2022Updated 3 years ago
- ☆14Aug 19, 2020Updated 5 years ago
- ☆11Jan 13, 2022Updated 4 years ago
- SpotMicroAI URDF☆12Jun 2, 2021Updated 4 years ago