Pinned Loading

1. AI-Planning/lifted-pddl AI-Planning/lifted-pddl Public

   A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.

   Python 19

2. ari-dasci/S-PlanningProblemGeneration ari-dasci/S-PlanningProblemGeneration Public

   Code and data of "NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems"

   PDDL 8 1

3. stable-truncated-gaussian stable-truncated-gaussian Public

   A numerically-stable and differentiable implementation of the Truncated Gaussian distribution in Pytorch.

   Python 8 2

4. PDDL-Prover PDDL-Prover Public

   A python prover for evaluating FOL formulas on PDDL

   Python 2

5. simple-NLM simple-NLM Public

   A simple Pytorch implementation of Neural Logic Machines (arxiv.org/abs/1904.11694).

   Python 3

6. strips-transformer strips-transformer Public

   Code for paper "From Next Token Prediction to (STRIPS) World Models", published at KR 2026

   PDDL