{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T05:43:59Z","timestamp":1773899039488,"version":"3.50.1"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,19]]},"DOI":"10.1109\/iros60139.2025.11246320","type":"proceedings-article","created":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T18:54:45Z","timestamp":1764269685000},"page":"18489-18496","source":"Crossref","is-referenced-by-count":1,"title":["VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots"],"prefix":"10.1109","author":[{"given":"Danil S.","family":"Grigorev","sequence":"first","affiliation":[{"name":"MIPT,Dolgoprudny,Russia,141701"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexey K.","family":"Kovalev","sequence":"additional","affiliation":[{"name":"AIRI,Moscow,Russia,121170"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksandr I.","family":"Panov","sequence":"additional","affiliation":[{"name":"AIRI,Moscow,Russia,121170"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS58592.2024.10801822"},{"key":"ref2","first-page":"3676","article-title":"Grounding large language models in interactive environments with online reinforcement learning","volume-title":"International Conference on Machine Learning","author":"Carta"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1129"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2022.XVIII.065"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IROS58592.2024.10802552"},{"key":"ref6","first-page":"9118","article-title":"Language models as zero-shot planners: Extracting actionable knowledge for embodied agents","volume-title":"International conference on machine learning","author":"Huang"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1134\/S1064562422060138"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-33469-6_23"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS58592.2024.10801291"},{"key":"ref10","article-title":"Lookplangraph: Embodied instruction following method with VLM graph augmentation","volume-title":"Workshop on Reasoning and Planning for Large Language Models","author":"Onishchenko"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2022.findings-emnlp.38"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-74186-9_19"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2544339"},{"key":"ref15","first-page":"2629","article-title":"Distributed multi-robot co-ordination with time-scale temporal logic tasks","volume-title":"IEEE International Conference on Robotics and Automation","author":"Aksaray"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV51070.2023.00280"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1109\/CVPR42600.2020.01075","article-title":"ALFRED: A Benchmark for Interpreting Grounded Instructions for Everyday Tasks","volume-title":"The IEEE Conference on Computer Vision and Pattern Recognition (CVPR)","author":"Shridhar"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00886"},{"key":"ref19","article-title":"From informal safety-critical requirements to property-driven formal validation","volume-title":"Proceedings of the Sixth NASA Langley Formal Methods Workshop","author":"Cimatti"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2004.120"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/icra55743.2025.11128705"},{"key":"ref22","article-title":"Grounding classical task planners via vision-language models","author":"Zhang","year":"2023"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-023-10131-7"},{"key":"ref24","first-page":"5453","article-title":"LLatrieval: LLM-verified retrieval for verifiable generation","volume-title":"Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers)","author":"Li"},{"key":"ref25","article-title":"Improving llm reasoning through scaling inference computation with collaborative verification","author":"Liang","year":"2024"},{"key":"ref26","first-page":"24824","article-title":"Chain-of-thought prompting elicits reasoning in large language models","volume":"35","author":"Wei","year":"2022","journal-title":"Advances in neural information processing systems"},{"key":"ref27","article-title":"Program of thoughts prompting: Disentangling computation from reasoning for numerical reasoning tasks","volume-title":"Transactions on Machine Learning Research","author":"Chen","year":"2023"},{"key":"ref28","article-title":"Replan: Robotic replanning with perception and language models","author":"Skreta","year":"2024"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref30","first-page":"12","article-title":"The temporal logic of reactive and concurrent systems","volume":"16","author":"Pnueli","year":"1992","journal-title":"Springer"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2019.00027"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9812169"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2020.xvi.016"},{"key":"ref35","article-title":"The llama 3 herd of models","author":"Grattafiori","year":"2024"},{"key":"ref36","article-title":"Qwen technical report","author":"Bai","year":"2023"},{"key":"ref37","article-title":"Kanana: Compute-efficient bilingual language models","author":"Bak","year":"2025"},{"key":"ref38","article-title":"Introducing the next generation of claude","year":"2024"}],"event":{"name":"2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","location":"Hangzhou, China","start":{"date-parts":[[2025,10,19]]},"end":{"date-parts":[[2025,10,25]]}},"container-title":["2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11245651\/11245652\/11246320.pdf?arnumber=11246320","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T08:20:43Z","timestamp":1766132443000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11246320\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/iros60139.2025.11246320","relation":{},"subject":[],"published":{"date-parts":[[2025,10,19]]}}}