Verifiably Following Complex Robot Instructions with Foundation Models

Open in new window