Their trial-&-error method is called "Planning for Robots via Code for Continuous Constraint Satisfaction" (PRoC3S). It tests long-horizon plans to ensure they satisfy all constraints & enables a robot to perform diverse tasks, like writing individual letters, drawing a star, &

→ View original post on X — @mit_csail