Graph Learning for Planning
☆25Feb 22, 2026Updated last week
Alternatives and similar repositories for goose
Users that are interested in goose are comparing it to the libraries listed below
Sorting:
- Relational Features for Planning☆14Feb 18, 2026Updated 2 weeks ago
- ☆21Feb 16, 2026Updated 2 weeks ago
- A library for constructing and evaluating state features made up of description logics for planning.☆12Mar 17, 2025Updated 11 months ago
- ☆15Mar 15, 2024Updated last year
- The parser of the pandaPI planning system☆15Jun 10, 2024Updated last year
- Symk is a state-of-the-art classical optimal and top-k planner.☆43Dec 16, 2025Updated 2 months ago
- ☆19May 14, 2024Updated last year
- ACPBench: Reasoning about Action, Change, and Planning. A benchmark designed to evaluate the fundamental reasoning abilities in the dom…☆32Feb 11, 2026Updated 3 weeks ago
- An extension of the Fast Downward planning system with state-of-the-art algorithms☆20Feb 14, 2026Updated 2 weeks ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆22Oct 4, 2025Updated 5 months ago
- Source for Action Schema Networks paper (AAAI'18)☆32Apr 6, 2023Updated 2 years ago
- Plan✕ is a platform for creating and publishing digital planning services☆17Feb 26, 2026Updated last week
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17Feb 3, 2024Updated 2 years ago
- Deep Networks Grok All the Time and Here is Why☆38May 18, 2024Updated last year
- Repository that lets you run an automated planner as a service on heroku.☆26Aug 7, 2025Updated 6 months ago
- ☆17Updated this week
- Powerlifted Planner☆34Nov 13, 2025Updated 3 months ago
- Unquestionable PDDL 3.1 parser☆159Updated this week
- PushWorld: A benchmark for manipulation planning with tools and movable obstacles☆90Jan 13, 2026Updated last month
- Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.☆39Feb 15, 2026Updated 2 weeks ago
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year
- ☆15Sep 7, 2025Updated 5 months ago
- ☆17Jun 8, 2025Updated 8 months ago
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- ☆46Nov 18, 2024Updated last year
- Strawberry architecture analysis and reconstruction☆16Dec 16, 2025Updated 2 months ago
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- ☆24Feb 18, 2026Updated 2 weeks ago
- EmotionCircuits-LLM: A complete, reproducible framework for discovering and controlling emotion circuits in large language models.☆25Oct 20, 2025Updated 4 months ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- Direct transcription of an optimal control problem and resolution☆12Updated this week
- Official codebase for the "A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts" benchmark paper.☆11Feb 3, 2025Updated last year
- Optimize the construction of earthquake-resistant buildings☆10Jul 7, 2024Updated last year
- HTN planning in Ruby☆38Updated this week
- Code for the paper "ZHEClean: Cleaning Dirty Knowledge Graphs using Zero Human-labeled Examples"☆10Jul 23, 2021Updated 4 years ago
- ☆11Mar 31, 2023Updated 2 years ago
- ☆10Oct 7, 2024Updated last year
- ☆14Dec 12, 2023Updated 2 years ago
- Experiments with reasoning models, training techniques, papers☆25Updated this week