An Environment-Aware Verification Framework for LLM-Generated Robot Control Programs.

ZhanShang Nie, Wenbo Wang, Xuanming Liu, Yue Zhang, Zhendong Chen, Zirui Wang, Kai Huang, Shuai Zhao

Browse the full DATE paper archive.