@misc{indiciae954824b9f87a, title = {Verifiably Following Complex Robot Instructions with Foundation Models}, author = {Benedict Quartey and Eric Rosen and Stefanie Tellex and George Konidaris}, year = {2025}, url = {https://arxiv.org/abs/2402.11498}, note = {Source identifier: 2402.11498} }