@article{verifyllmllmbasedpreexecutiontaskplanver,
  title = {VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots},
  author = {Danil S. Grigorev and Alexey K. Kovalev and Aleksandr I. Panov},
  year = {2025},
  eprint = {2507.05118},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2507.05118},
}