TY  - RPRT
TI  - VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots
AU  - Danil S. Grigorev
AU  - Alexey K. Kovalev
AU  - Aleksandr I. Panov
PY  - 2025
UR  - https://arxiv.org/abs/2507.05118
ID  - 2507.05118
ER  -