Common Sense Plan Verification with Large Language Models. - Danil S. Grigorev; Alexey K. Kovalev; Aleksandr I. Panov (HAIS (2), 2024)

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots. - Danil S. Grigorev; Alexey K. Kovalev; Aleksandr I. Panov (CoRR, 2025)