{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:I62ZPU4KQYYRUN6V32AXFAWQA6","short_pith_number":"pith:I62ZPU4K","canonical_record":{"source":{"id":"2209.11302","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-09-22T20:29:49Z","cross_cats_sorted":["cs.AI","cs.CL","cs.LG"],"title_canon_sha256":"00e7c202978b484a0722730fa304d289f75814a81f0b7ccc7d0575915e88902c","abstract_canon_sha256":"b022bf70898e2f3bc92f086f14a67b428dfa412c24c0941ede13f1fb6c7b8553"},"schema_version":"1.0"},"canonical_sha256":"47b597d38a86311a37d5de817282d007bc9fa16c7dd855ee9382d36916c1353c","source":{"kind":"arxiv","id":"2209.11302","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.11302","created_at":"2026-05-17T23:38:15Z"},{"alias_kind":"arxiv_version","alias_value":"2209.11302v1","created_at":"2026-05-17T23:38:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.11302","created_at":"2026-05-17T23:38:15Z"},{"alias_kind":"pith_short_12","alias_value":"I62ZPU4KQYYR","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"I62ZPU4KQYYRUN6V","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"I62ZPU4K","created_at":"2026-05-18T12:33:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:I62ZPU4KQYYRUN6V32AXFAWQA6","target":"record","payload":{"canonical_record":{"source":{"id":"2209.11302","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-09-22T20:29:49Z","cross_cats_sorted":["cs.AI","cs.CL","cs.LG"],"title_canon_sha256":"00e7c202978b484a0722730fa304d289f75814a81f0b7ccc7d0575915e88902c","abstract_canon_sha256":"b022bf70898e2f3bc92f086f14a67b428dfa412c24c0941ede13f1fb6c7b8553"},"schema_version":"1.0"},"canonical_sha256":"47b597d38a86311a37d5de817282d007bc9fa16c7dd855ee9382d36916c1353c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:38:15.145750Z","signature_b64":"Vz2Nk3uNKIytKqcTYiLQK7vSnyBxCSsUgCY3YpqYxV1P3nUm19icuZH1RzNgxOxKSh6UrlA84LTTdSEYqJOjCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"47b597d38a86311a37d5de817282d007bc9fa16c7dd855ee9382d36916c1353c","last_reissued_at":"2026-05-17T23:38:15.145015Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:38:15.145015Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2209.11302","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:38:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zsBUrSDHzN8sCIh1ldtB4LjOsWlQHuWSs/OoDClNJYzSn0K5lnQUvNaXrQ4jsWoChZ8YtkNXGG8GxUJD8AymBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:53:23.286814Z"},"content_sha256":"e1c37e3ec1bc33d74e3378625f216a402e4593eb320012fb51e9fb58bd0e4e35","schema_version":"1.0","event_id":"sha256:e1c37e3ec1bc33d74e3378625f216a402e4593eb320012fb51e9fb58bd0e4e35"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:I62ZPU4KQYYRUN6V32AXFAWQA6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ProgPrompt: Generating Situated Robot Task Plans using Large Language Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Structuring LLM prompts as executable programs lets robots generate valid task plans across any environment and capabilities.","cross_cats":["cs.AI","cs.CL","cs.LG"],"primary_cat":"cs.RO","authors_text":"Animesh Garg, Ankit Goyal, Arsalan Mousavian, Danfei Xu, Dieter Fox, Ishika Singh, Jesse Thomason, Jonathan Tremblay, Valts Blukis","submitted_at":"2022-09-22T20:29:49Z","abstract_excerpt":"Task planning can require defining myriad domain knowledge about the world in which a robot needs to act. To ameliorate that effort, large language models (LLMs) can be used to score potential next actions during task planning, and even generate action sequences directly, given an instruction in natural language with no additional domain information. However, such methods either require enumerating all possible next steps for scoring, or generate free-form text that may contain actions not possible on a given robot in its current context. We present a programmatic LLM prompt structure that ena"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We present a programmatic LLM prompt structure that enables plan generation functional across situated environments, robot capabilities, and tasks.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That prompting the LLM with program-like specifications of available actions and objects plus example programs will reliably prevent generation of actions impossible in the robot's current context.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"ProgPrompt generates situated robot task plans by prompting LLMs with program-like specifications of actions, objects, and executable examples, achieving state-of-the-art success in VirtualHome tasks and physical robot deployment.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Structuring LLM prompts as executable programs lets robots generate valid task plans across any environment and capabilities.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"893def829a51ccc9dc07c253a26d7e08007028a5a112edcf626a9194dc1d8a4e"},"source":{"id":"2209.11302","kind":"arxiv","version":1},"verdict":{"id":"f5736e4c-28c7-4432-a50d-33bf13414d78","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-17T04:17:03.442673Z","strongest_claim":"We present a programmatic LLM prompt structure that enables plan generation functional across situated environments, robot capabilities, and tasks.","one_line_summary":"ProgPrompt generates situated robot task plans by prompting LLMs with program-like specifications of actions, objects, and executable examples, achieving state-of-the-art success in VirtualHome tasks and physical robot deployment.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That prompting the LLM with program-like specifications of available actions and objects plus example programs will reliably prevent generation of actions impossible in the robot's current context.","pith_extraction_headline":"Structuring LLM prompts as executable programs lets robots generate valid task plans across any environment and capabilities."},"references":{"count":39,"sample":[{"doi":"","year":2022,"title":"Inner Monologue: Embodied Reasoning through Planning with Language Models","work_id":"f6e5e4a1-e34b-4602-a7ad-df0c6103a4d0","ref_index":1,"cited_arxiv_id":"2207.05608","is_internal_anchor":true},{"doi":"","year":2022,"title":"Language models as zero-shot planners: Extracting actionable knowledge for embodied agents","work_id":"e2e590a8-7af9-4ab9-b5be-29c703ef90fb","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2022,"title":"Socratic models: Composing zero-shot multimodal reasoning with language,","work_id":"e4f96497-1902-4687-96c8-4dbaab9bc4e2","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2022,"title":"Do as i can, not as i say: Grounding language in robotic affordances,","work_id":"fe688c6a-e96c-48e7-89b6-b38c4aa20332","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1971,"title":"Strips: A new approach to the application of theorem proving to problem solving,","work_id":"dbef61d6-f55d-4d66-bfe9-c65ef4e4c6ea","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":39,"snapshot_sha256":"04ae6d6566cd57f6349f397821a250519267993b104ea0e58c62483d02054434","internal_anchors":1},"formal_canon":{"evidence_count":1,"snapshot_sha256":"8763581bdedf7ee1586a2adaf20373c6629b6ec307bdb4d08ed751c2d1f80c88"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"f5736e4c-28c7-4432-a50d-33bf13414d78"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:38:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qqM5Ro8Gg1+PZ/4+SNbTds9ao/xEKQnQRKJ9HvEntxhPqpQoh14J3kH1c9L2UJWdiVp2cOlKV0/nbtetImfsBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:53:23.287905Z"},"content_sha256":"fe82cbcc742aa18a399870574794492c4916572b0bbf74d8f82086102fed8aa2","schema_version":"1.0","event_id":"sha256:fe82cbcc742aa18a399870574794492c4916572b0bbf74d8f82086102fed8aa2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I62ZPU4KQYYRUN6V32AXFAWQA6/bundle.json","state_url":"https://pith.science/pith/I62ZPU4KQYYRUN6V32AXFAWQA6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I62ZPU4KQYYRUN6V32AXFAWQA6/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-25T19:53:23Z","links":{"resolver":"https://pith.science/pith/I62ZPU4KQYYRUN6V32AXFAWQA6","bundle":"https://pith.science/pith/I62ZPU4KQYYRUN6V32AXFAWQA6/bundle.json","state":"https://pith.science/pith/I62ZPU4KQYYRUN6V32AXFAWQA6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I62ZPU4KQYYRUN6V32AXFAWQA6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:I62ZPU4KQYYRUN6V32AXFAWQA6","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"b022bf70898e2f3bc92f086f14a67b428dfa412c24c0941ede13f1fb6c7b8553","cross_cats_sorted":["cs.AI","cs.CL","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-09-22T20:29:49Z","title_canon_sha256":"00e7c202978b484a0722730fa304d289f75814a81f0b7ccc7d0575915e88902c"},"schema_version":"1.0","source":{"id":"2209.11302","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.11302","created_at":"2026-05-17T23:38:15Z"},{"alias_kind":"arxiv_version","alias_value":"2209.11302v1","created_at":"2026-05-17T23:38:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.11302","created_at":"2026-05-17T23:38:15Z"},{"alias_kind":"pith_short_12","alias_value":"I62ZPU4KQYYR","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"I62ZPU4KQYYRUN6V","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"I62ZPU4K","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:fe82cbcc742aa18a399870574794492c4916572b0bbf74d8f82086102fed8aa2","target":"graph","created_at":"2026-05-17T23:38:15Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We present a programmatic LLM prompt structure that enables plan generation functional across situated environments, robot capabilities, and tasks."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That prompting the LLM with program-like specifications of available actions and objects plus example programs will reliably prevent generation of actions impossible in the robot's current context."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"ProgPrompt generates situated robot task plans by prompting LLMs with program-like specifications of actions, objects, and executable examples, achieving state-of-the-art success in VirtualHome tasks and physical robot deployment."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Structuring LLM prompts as executable programs lets robots generate valid task plans across any environment and capabilities."}],"snapshot_sha256":"893def829a51ccc9dc07c253a26d7e08007028a5a112edcf626a9194dc1d8a4e"},"formal_canon":{"evidence_count":1,"snapshot_sha256":"8763581bdedf7ee1586a2adaf20373c6629b6ec307bdb4d08ed751c2d1f80c88"},"paper":{"abstract_excerpt":"Task planning can require defining myriad domain knowledge about the world in which a robot needs to act. To ameliorate that effort, large language models (LLMs) can be used to score potential next actions during task planning, and even generate action sequences directly, given an instruction in natural language with no additional domain information. However, such methods either require enumerating all possible next steps for scoring, or generate free-form text that may contain actions not possible on a given robot in its current context. We present a programmatic LLM prompt structure that ena","authors_text":"Animesh Garg, Ankit Goyal, Arsalan Mousavian, Danfei Xu, Dieter Fox, Ishika Singh, Jesse Thomason, Jonathan Tremblay, Valts Blukis","cross_cats":["cs.AI","cs.CL","cs.LG"],"headline":"Structuring LLM prompts as executable programs lets robots generate valid task plans across any environment and capabilities.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-09-22T20:29:49Z","title":"ProgPrompt: Generating Situated Robot Task Plans using Large Language Models"},"references":{"count":39,"internal_anchors":1,"resolved_work":39,"sample":[{"cited_arxiv_id":"2207.05608","doi":"","is_internal_anchor":true,"ref_index":1,"title":"Inner Monologue: Embodied Reasoning through Planning with Language Models","work_id":"f6e5e4a1-e34b-4602-a7ad-df0c6103a4d0","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Language models as zero-shot planners: Extracting actionable knowledge for embodied agents","work_id":"e2e590a8-7af9-4ab9-b5be-29c703ef90fb","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Socratic models: Composing zero-shot multimodal reasoning with language,","work_id":"e4f96497-1902-4687-96c8-4dbaab9bc4e2","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Do as i can, not as i say: Grounding language in robotic affordances,","work_id":"fe688c6a-e96c-48e7-89b6-b38c4aa20332","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Strips: A new approach to the application of theorem proving to problem solving,","work_id":"dbef61d6-f55d-4d66-bfe9-c65ef4e4c6ea","year":1971}],"snapshot_sha256":"04ae6d6566cd57f6349f397821a250519267993b104ea0e58c62483d02054434"},"source":{"id":"2209.11302","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-17T04:17:03.442673Z","id":"f5736e4c-28c7-4432-a50d-33bf13414d78","model_set":{"reader":"grok-4.3"},"one_line_summary":"ProgPrompt generates situated robot task plans by prompting LLMs with program-like specifications of actions, objects, and executable examples, achieving state-of-the-art success in VirtualHome tasks and physical robot deployment.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Structuring LLM prompts as executable programs lets robots generate valid task plans across any environment and capabilities.","strongest_claim":"We present a programmatic LLM prompt structure that enables plan generation functional across situated environments, robot capabilities, and tasks.","weakest_assumption":"That prompting the LLM with program-like specifications of available actions and objects plus example programs will reliably prevent generation of actions impossible in the robot's current context."}},"verdict_id":"f5736e4c-28c7-4432-a50d-33bf13414d78"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:e1c37e3ec1bc33d74e3378625f216a402e4593eb320012fb51e9fb58bd0e4e35","target":"record","created_at":"2026-05-17T23:38:15Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"b022bf70898e2f3bc92f086f14a67b428dfa412c24c0941ede13f1fb6c7b8553","cross_cats_sorted":["cs.AI","cs.CL","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-09-22T20:29:49Z","title_canon_sha256":"00e7c202978b484a0722730fa304d289f75814a81f0b7ccc7d0575915e88902c"},"schema_version":"1.0","source":{"id":"2209.11302","kind":"arxiv","version":1}},"canonical_sha256":"47b597d38a86311a37d5de817282d007bc9fa16c7dd855ee9382d36916c1353c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"47b597d38a86311a37d5de817282d007bc9fa16c7dd855ee9382d36916c1353c","first_computed_at":"2026-05-17T23:38:15.145015Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:38:15.145015Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Vz2Nk3uNKIytKqcTYiLQK7vSnyBxCSsUgCY3YpqYxV1P3nUm19icuZH1RzNgxOxKSh6UrlA84LTTdSEYqJOjCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:38:15.145750Z","signed_message":"canonical_sha256_bytes"},"source_id":"2209.11302","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e1c37e3ec1bc33d74e3378625f216a402e4593eb320012fb51e9fb58bd0e4e35","sha256:fe82cbcc742aa18a399870574794492c4916572b0bbf74d8f82086102fed8aa2"],"state_sha256":"d935747ef9b5021afb9fbe724347921d11e22da8a0743292333fc532f262e751"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vCV4OxVqMXqKBt1hNbgckpkZbjU8fpKI4/NqR+rWX2cv/AFjQ3J2SCcZvdHb9+CGZHTrHPdai9fZoUvFLi5tAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T19:53:23.293068Z","bundle_sha256":"16eafe39c6e87e5c6b2fe8587e7fc9e9f99648d69f97a3fe7fd6a1a7aa0ea95d"}}