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

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

In the field of robotics, researchers face a critical challenge in ensuring reliable and efficient task planning. Verifying high-level task plans before execution significantly red…