@misc{indiciae495229a9d97e,
  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},
  url = {https://arxiv.org/abs/2507.05118},
  note = {Source identifier: 2507.05118}
}