☆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. 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☆29Feb 25, 2025Updated last year
- Library for LLM-driven action model acquisition via natural language☆61Jun 28, 2026Updated 3 weeks ago
- this is for fun, ain't it grand!☆22Sep 18, 2025Updated 10 months ago
- Unquestionable PDDL 3.1 parser☆175Jul 9, 2026Updated 2 weeks ago
- The source code of the paper "Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Pla…☆108Aug 11, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Game environment for reinforcement learning using Pygame☆10Jul 15, 2019Updated 7 years ago
- ☆23Mar 20, 2024Updated 2 years ago
- ☆11Jan 13, 2026Updated 6 months ago
- [NeurIPS 2025] Official implementation of "UniDomain: Pretraining a Unified PDDL Domain from Real-World Demonstrations for Generalizable …☆22May 20, 2026Updated 2 months 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).☆158Jan 3, 2026Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- LLM multi-agent discussion framework for multi-agent/robot situations.☆50Sep 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"☆15May 7, 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 last year
- Semi-supervised Cycle-GAN for face photo-sketch translation in the wild, CVIU2023☆13Jul 10, 2024Updated 2 years ago
- ☆43Nov 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 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆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 3 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☆44Jun 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
- ☆17Apr 17, 2026Updated 3 months ago
- ☆11Mar 31, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 射手座机械臂工作空间☆16Jan 2, 2024Updated 2 years ago
- Code for "Planning with Learned Object Importance in Large Problem Instances using Graph Neural Networks" (AAAI 2021)☆17Jan 26, 2023Updated 3 years ago
- ☆40Feb 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