4 projects
lifted-pddl
A lightweight framework for parsing PDDL in lifted form.
neural-logic-machine
A simple implementation of Neural Logic Machines in Pytorch.
PDDL-Prover
A python prover for evaluating FOL formulas on PDDL
stable-trunc-gaussian
A numerically-stable and differentiable implementation of the Truncated Gaussian distribution in Pytorch.
