{"id":7110,"date":"2025-07-17T06:05:00","date_gmt":"2025-07-16T21:05:00","guid":{"rendered":"https:\/\/devneko.jp\/wordpress\/?p=7110"},"modified":"2025-07-12T21:15:24","modified_gmt":"2025-07-12T12:15:24","slug":"verifyllm-llm-based-pre-execution-task-plan-verification-for-robots","status":"publish","type":"post","link":"https:\/\/devneko.jp\/wordpress\/?p=7110","title":{"rendered":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots"},"content":{"rendered":"\n<ul class=\"wp-block-list\">\n<li><strong>VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots\u00a0<\/strong>[45.0]<br>\u672c\u7814\u7a76\u3067\u306f,\u30b7\u30df\u30e5\u30ec\u30fc\u30bf\u3084\u5b9f\u74b0\u5883\u3067\u5b9f\u884c\u3059\u308b\u524d\u306b,\u30bf\u30b9\u30af\u30d7\u30e9\u30f3\u3092\u81ea\u52d5\u7684\u306b\u691c\u8a3c\u3059\u308b\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u3092\u63d0\u6848\u3059\u308b\u3002 \u3053\u306e\u30e2\u30b8\u30e5\u30fc\u30eb\u306f\u3001Large Language Models\u306e\u63a8\u8ad6\u6a5f\u80fd\u3092\u4f7f\u7528\u3057\u3066\u3001\u8ad6\u7406\u7684\u4e00\u8cab\u6027\u3092\u8a55\u4fa1\u3057\u3001\u8a08\u753b\u306e\u6f5c\u5728\u7684\u306a\u30ae\u30e3\u30c3\u30d7\u3092\u7279\u5b9a\u3059\u308b\u3002 \u6211\u3005\u306f,\u30bf\u30b9\u30af\u8a08\u753b\u306e\u4fe1\u983c\u6027\u3068\u52b9\u7387\u306e\u5411\u4e0a\u306b\u5bc4\u4e0e\u3057,\u81ea\u5f8b\u30b7\u30b9\u30c6\u30e0\u306b\u304a\u3051\u308b\u5805\u7262\u306a\u4e8b\u524d\u5b9f\u884c\u691c\u8a3c\u306e\u5fc5\u8981\u6027\u306b\u5bfe\u51e6\u3059\u308b\u3002<br><a href=\"http:\/\/arxiv.org\/abs\/2507.05118v1\">\u8ad6\u6587<\/a>\u00a0\u00a0<a href=\"https:\/\/fugumt.com\/fugumt\/paper_check\/2507.05118v1\">\u53c2\u8003\u8a33\uff08\u30e1\u30bf\u30c7\u30fc\u30bf\uff09<\/a>\u00a0 \u00a0(Mon, 07 Jul 2025 15:31:36 GMT)<\/li>\n\n\n\n<li>\u30bf\u30b9\u30af\u8a08\u753b\u306e\u691c\u8a3c\u306e\u305f\u3081\u300cIn this paper, we propose an architecture for automatically verifying high-level task plans before their execution in simulator or real-world environments. Leveraging Large Language Models (LLMs), our approach consists of two key steps: first, the conversion of natural language instructions into Linear Temporal Logic (LTL), followed by a comprehensive analysis of action sequences.\u300d\u3068\u5f62\u5f0f\u8a00\u8a9e\u3092\u4f75\u7528\u3059\u308b\u30a2\u30d7\u30ed\u30fc\u30c1\u306e\u63d0\u6848\u3002<\/li>\n\n\n\n<li>\u30ea\u30dd\u30b8\u30c8\u30ea\u306f<a href=\"https:\/\/verifyllm.github.io\/\">VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[223,577],"class_list":["post-7110","post","type-post","status-publish","format-standard","hentry","category-arxiv","tag-llm","tag-577"],"_links":{"self":[{"href":"https:\/\/devneko.jp\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/7110","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devneko.jp\/wordpress\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devneko.jp\/wordpress\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devneko.jp\/wordpress\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/devneko.jp\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=7110"}],"version-history":[{"count":1,"href":"https:\/\/devneko.jp\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/7110\/revisions"}],"predecessor-version":[{"id":7111,"href":"https:\/\/devneko.jp\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/7110\/revisions\/7111"}],"wp:attachment":[{"href":"https:\/\/devneko.jp\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=7110"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devneko.jp\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=7110"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devneko.jp\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=7110"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}