☆19Feb 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [ACL 2025 Findings] Text2World: Benchmarking Large Language Models for Symbolic World Model Generation☆30Feb 25, 2025Updated last year
- Library for LLM-driven action model acquisition via natural language☆64Jun 28, 2026Updated 2 months ago
- this is for fun, ain't it grand!☆22Sep 18, 2025Updated 11 months ago
- Unquestionable PDDL 3.1 parser☆177Updated this week
- The source code of the paper "Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Pla…☆109Aug 11, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Game environment for reinforcement learning using Pygame☆10Jul 15, 2019Updated 7 years ago
- ☆23Mar 20, 2024Updated 2 years ago
- ☆13Jan 13, 2026Updated 7 months ago
- [NeurIPS 2025] Official implementation of "UniDomain: Pretraining a Unified PDDL Domain from Real-World Demonstrations for Generalizable …☆23Aug 17, 2026Updated 2 weeks ago
- Multi-Resolution POMDP Planning for Multi-Object Search in 3D (IROS 2021) | IROS RoboCup Best Paper Award☆10May 15, 2025Updated last year
- 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
- Large language models for PDDL domains☆46May 15, 2023Updated 3 years ago
- ☆12Jan 13, 2022Updated 4 years ago
- A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).☆159Jan 3, 2026Updated 8 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- LLM multi-agent discussion framework for multi-agent/robot situations.☆51Sep 26, 2024Updated last year
- Neuro-Symbolic Hierarchical Rule Induction☆15Dec 31, 2022Updated 3 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆20Sep 5, 2024Updated last year
- Accompanying code for the paper "Beyond Self-Play and Scale: A Behavior Benchmark for Generalization in Autonomous Driving"☆17May 7, 2026Updated 3 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…☆36Jul 15, 2025Updated last year
- Semi-supervised Cycle-GAN for face photo-sketch translation in the wild, CVIU2023☆13Jul 10, 2024Updated 2 years ago
- ☆44Nov 13, 2024Updated last year
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17May 24, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Oct 29, 2024Updated last year
- IPyHOP is a Re-entrant Iterative GTPyHOP written in Python 3. PyHOP is an acronym for Python Hierarchical Ordered Planner.☆12Aug 12, 2022Updated 4 years ago
- Dataset collection and training code for "Ask Your Humans: Using Human Instructions to Improve Generalization in Reinforcement Learning"☆11Apr 8, 2025Updated last year
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆12Jun 22, 2019Updated 7 years ago
- Active Perceptive Motion Generation for Mobile Manipulation☆45Jun 16, 2024Updated 2 years ago
- A simple option critic framework using Q-Learning☆14Feb 7, 2022Updated 4 years ago
- [IROS 2024] iMTSP: Solving Min-Max Multiple Traveling Salesman Problem with Imperative Learning☆15Oct 10, 2024Updated last year
- ☆18Apr 17, 2026Updated 4 months ago
- ☆11Mar 31, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 射手座机械臂工作空间☆16Jan 2, 2024Updated 2 years ago
- Code for "Planning with Learned Object Importance in Large Problem Instances using Graph Neural Networks" (AAAI 2021)☆18Jan 26, 2023Updated 3 years ago
- ☆39Feb 29, 2024Updated 2 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- blog☆17Oct 2, 2024Updated last year
- LogiCity@NeurIPS'24, D&B track. A multi-agent inductive learning environment for "abstractions".☆27Jun 10, 2025Updated last year
- ☆10Oct 11, 2022Updated 3 years ago