Pinned Repositories
Analytical-Learning-Theory
97.39% on CIFAR10 with PyTorch
kitchen-worlds
A library of long-horizon Task-and-Motion-Planning (TAMP) problems in kitchen and household scenes, as well as planners to solve them
lisdf
A repository for a universal I/O spec for TAMP, along with scripts to convert from popular specs to our spec
llm4pddl
Large language models for PDDL domains
movo_ws
movo workspace
open-world-tamp
A framework for integrated task and motion planning from perception
predicators
Learning for effective and efficient bilevel planning
predicators_behavior
Learning for effective and efficient bilevel planning; integrated with BEHAVIOR and iGibson
proc3s
Code for the paper "Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction" presented at CoRL 2024.
stacking
Active Learning of Abstract Plan Feasibility