Danil S. Grigorev

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

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 reduces errors and enhance the overall performance of these systems. In this paper, we propose an architecture for automati