{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:MBYG5HBWDNKKDSCGAUZOR7KCA7","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":"c2592be50fc73dac35802085be76ff8fac7e36547bb5c4e2e82fb5e7af4f7a24","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-07-22T14:43:25Z","title_canon_sha256":"d0c0dfa2fa36c7c5d952cbb9823ec842c329b15ba6dabaa9ee16540a7f491d8d"},"schema_version":"1.0","source":{"id":"2407.15677","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.15677","created_at":"2026-07-05T08:46:59Z"},{"alias_kind":"arxiv_version","alias_value":"2407.15677v1","created_at":"2026-07-05T08:46:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.15677","created_at":"2026-07-05T08:46:59Z"},{"alias_kind":"pith_short_12","alias_value":"MBYG5HBWDNKK","created_at":"2026-07-05T08:46:59Z"},{"alias_kind":"pith_short_16","alias_value":"MBYG5HBWDNKKDSCG","created_at":"2026-07-05T08:46:59Z"},{"alias_kind":"pith_short_8","alias_value":"MBYG5HBW","created_at":"2026-07-05T08:46:59Z"}],"graph_snapshots":[{"event_id":"sha256:4dc8873bac8b86da494a5494dea892cae7653f8a7a87a139722f50be6f0e4238","target":"graph","created_at":"2026-07-05T08:46:59Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2407.15677/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Successful application of large language models (LLMs) to robotic planning and execution may pave the way to automate numerous real-world tasks. Promising recent research has been conducted showing that the knowledge contained in LLMs can be utilized in making goal-driven decisions that are enactable in interactive, embodied environments. Nonetheless, there is a considerable drop in correctness of programs generated by LLMs. We apply goal modeling techniques from software engineering to large language models generating robotic plans. Specifically, the LLM is prompted to generate a step refinem","authors_text":"Ateeq Sharfuddin, Travis Breaux","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-07-22T14:43:25Z","title":"Language models are robotic planners: reframing plans as goal refinement graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.15677","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:fa83ccd77c58bef1c78d44cbfd35fa516a0f44557130f55b11ad8cd79139086d","target":"record","created_at":"2026-07-05T08:46:59Z","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":"c2592be50fc73dac35802085be76ff8fac7e36547bb5c4e2e82fb5e7af4f7a24","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-07-22T14:43:25Z","title_canon_sha256":"d0c0dfa2fa36c7c5d952cbb9823ec842c329b15ba6dabaa9ee16540a7f491d8d"},"schema_version":"1.0","source":{"id":"2407.15677","kind":"arxiv","version":1}},"canonical_sha256":"60706e9c361b54a1c8460532e8fd4207fa6129ef089accfec7619c0b6c473d5f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"60706e9c361b54a1c8460532e8fd4207fa6129ef089accfec7619c0b6c473d5f","first_computed_at":"2026-07-05T08:46:59.649114Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:46:59.649114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nm+UcUEMHCfOmU4LNR/YpAzuW+E05aKQN7JJ45wHFcim4uVED5nn/5oH3EguzJUm1VYpt1//Bw05LscbJZJICA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:46:59.649585Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.15677","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fa83ccd77c58bef1c78d44cbfd35fa516a0f44557130f55b11ad8cd79139086d","sha256:4dc8873bac8b86da494a5494dea892cae7653f8a7a87a139722f50be6f0e4238"],"state_sha256":"77d0b4701c36eaf7ddafef86370ee4e47010a8b7297c2bb029bdadffd140ab28"}