VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots.

Danil S. Grigorev, Alexey K. Kovalev, Aleksandr I. Panov

Browse the full IROS paper archive.