{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:B7SDBZG4OEXTLXETMGDLH5S2YO","short_pith_number":"pith:B7SDBZG4","canonical_record":{"source":{"id":"2406.02791","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-06-04T21:29:56Z","cross_cats_sorted":["cs.CL","cs.RO"],"title_canon_sha256":"8ef1ac2caefe243e15c1d4a44978fb111c0cd47a2ebc0883f2003643d817df17","abstract_canon_sha256":"c6c18e7d7e1c26ff6c28e251146460285adb8cb4c54ae1612cb6095904f6bbf8"},"schema_version":"1.0"},"canonical_sha256":"0fe430e4dc712f35dc936186b3f65ac38720cd1850b9987beaa9609fae624f7f","source":{"kind":"arxiv","id":"2406.02791","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.02791","created_at":"2026-07-05T09:32:44Z"},{"alias_kind":"arxiv_version","alias_value":"2406.02791v2","created_at":"2026-07-05T09:32:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.02791","created_at":"2026-07-05T09:32:44Z"},{"alias_kind":"pith_short_12","alias_value":"B7SDBZG4OEXT","created_at":"2026-07-05T09:32:44Z"},{"alias_kind":"pith_short_16","alias_value":"B7SDBZG4OEXTLXET","created_at":"2026-07-05T09:32:44Z"},{"alias_kind":"pith_short_8","alias_value":"B7SDBZG4","created_at":"2026-07-05T09:32:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:B7SDBZG4OEXTLXETMGDLH5S2YO","target":"record","payload":{"canonical_record":{"source":{"id":"2406.02791","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-06-04T21:29:56Z","cross_cats_sorted":["cs.CL","cs.RO"],"title_canon_sha256":"8ef1ac2caefe243e15c1d4a44978fb111c0cd47a2ebc0883f2003643d817df17","abstract_canon_sha256":"c6c18e7d7e1c26ff6c28e251146460285adb8cb4c54ae1612cb6095904f6bbf8"},"schema_version":"1.0"},"canonical_sha256":"0fe430e4dc712f35dc936186b3f65ac38720cd1850b9987beaa9609fae624f7f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:32:44.774465Z","signature_b64":"GVR1Fk41Jw5PxpziT7OE/OnScgZCo6dVbgG1TREd39D6RIHmNPn/Mbd54rtmwkTUT9rGmaAqzVu4WnJpx4C6Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0fe430e4dc712f35dc936186b3f65ac38720cd1850b9987beaa9609fae624f7f","last_reissued_at":"2026-07-05T09:32:44.773876Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:32:44.773876Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.02791","source_version":2,"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-07-05T09:32:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g60qIEo6e//u+i4oWX2nEvK2meF+xEhr9I06ohQeTv/Pu5anjeoB5766u3CCyFrcmSwdjti4dnbjZXKWU6pUDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T17:04:00.310956Z"},"content_sha256":"9a5907acd27bc72b6c0c70f8d1d3b7c5379a4aa44281f5f1735a8b7f77165cbc","schema_version":"1.0","event_id":"sha256:9a5907acd27bc72b6c0c70f8d1d3b7c5379a4aa44281f5f1735a8b7f77165cbc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:B7SDBZG4OEXTLXETMGDLH5S2YO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Language Models can Infer Action Semantics for Symbolic Planners from Environment Feedback","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL","cs.RO"],"primary_cat":"cs.AI","authors_text":"Ishika Singh, Jesse Thomason, Robin Jia, Wang Zhu","submitted_at":"2024-06-04T21:29:56Z","abstract_excerpt":"Symbolic planners can discover a sequence of actions from initial to goal states given expert-defined, domain-specific logical action semantics. Large Language Models (LLMs) can directly generate such sequences, but limitations in reasoning and state-tracking often result in plans that are insufficient or unexecutable. We propose Predicting Semantics of Actions with Language Models (PSALM), which automatically learns action semantics by leveraging the strengths of both symbolic planners and LLMs. PSALM repeatedly proposes and executes plans, using the LLM to partially generate plans and to inf"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.02791","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2406.02791/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:32:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ltPopPE1YTOoaMkfl0XjOo+S8bjOxKiK4g+QbV7EseIVz0jhyYrRd4y+V/La7N4YpHehHdqVDdpk4x+Lb8ljDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T17:04:00.311492Z"},"content_sha256":"3368466479c530bf6de1552cdac94d80fd1151f8d95d56f6033446f83ffa196b","schema_version":"1.0","event_id":"sha256:3368466479c530bf6de1552cdac94d80fd1151f8d95d56f6033446f83ffa196b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B7SDBZG4OEXTLXETMGDLH5S2YO/bundle.json","state_url":"https://pith.science/pith/B7SDBZG4OEXTLXETMGDLH5S2YO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B7SDBZG4OEXTLXETMGDLH5S2YO/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-08-14T17:04:00Z","links":{"resolver":"https://pith.science/pith/B7SDBZG4OEXTLXETMGDLH5S2YO","bundle":"https://pith.science/pith/B7SDBZG4OEXTLXETMGDLH5S2YO/bundle.json","state":"https://pith.science/pith/B7SDBZG4OEXTLXETMGDLH5S2YO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B7SDBZG4OEXTLXETMGDLH5S2YO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:B7SDBZG4OEXTLXETMGDLH5S2YO","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":"c6c18e7d7e1c26ff6c28e251146460285adb8cb4c54ae1612cb6095904f6bbf8","cross_cats_sorted":["cs.CL","cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-06-04T21:29:56Z","title_canon_sha256":"8ef1ac2caefe243e15c1d4a44978fb111c0cd47a2ebc0883f2003643d817df17"},"schema_version":"1.0","source":{"id":"2406.02791","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.02791","created_at":"2026-07-05T09:32:44Z"},{"alias_kind":"arxiv_version","alias_value":"2406.02791v2","created_at":"2026-07-05T09:32:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.02791","created_at":"2026-07-05T09:32:44Z"},{"alias_kind":"pith_short_12","alias_value":"B7SDBZG4OEXT","created_at":"2026-07-05T09:32:44Z"},{"alias_kind":"pith_short_16","alias_value":"B7SDBZG4OEXTLXET","created_at":"2026-07-05T09:32:44Z"},{"alias_kind":"pith_short_8","alias_value":"B7SDBZG4","created_at":"2026-07-05T09:32:44Z"}],"graph_snapshots":[{"event_id":"sha256:3368466479c530bf6de1552cdac94d80fd1151f8d95d56f6033446f83ffa196b","target":"graph","created_at":"2026-07-05T09:32:44Z","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/2406.02791/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Symbolic planners can discover a sequence of actions from initial to goal states given expert-defined, domain-specific logical action semantics. Large Language Models (LLMs) can directly generate such sequences, but limitations in reasoning and state-tracking often result in plans that are insufficient or unexecutable. We propose Predicting Semantics of Actions with Language Models (PSALM), which automatically learns action semantics by leveraging the strengths of both symbolic planners and LLMs. PSALM repeatedly proposes and executes plans, using the LLM to partially generate plans and to inf","authors_text":"Ishika Singh, Jesse Thomason, Robin Jia, Wang Zhu","cross_cats":["cs.CL","cs.RO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-06-04T21:29:56Z","title":"Language Models can Infer Action Semantics for Symbolic Planners from Environment Feedback"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.02791","kind":"arxiv","version":2},"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:9a5907acd27bc72b6c0c70f8d1d3b7c5379a4aa44281f5f1735a8b7f77165cbc","target":"record","created_at":"2026-07-05T09:32:44Z","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":"c6c18e7d7e1c26ff6c28e251146460285adb8cb4c54ae1612cb6095904f6bbf8","cross_cats_sorted":["cs.CL","cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-06-04T21:29:56Z","title_canon_sha256":"8ef1ac2caefe243e15c1d4a44978fb111c0cd47a2ebc0883f2003643d817df17"},"schema_version":"1.0","source":{"id":"2406.02791","kind":"arxiv","version":2}},"canonical_sha256":"0fe430e4dc712f35dc936186b3f65ac38720cd1850b9987beaa9609fae624f7f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0fe430e4dc712f35dc936186b3f65ac38720cd1850b9987beaa9609fae624f7f","first_computed_at":"2026-07-05T09:32:44.773876Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:32:44.773876Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GVR1Fk41Jw5PxpziT7OE/OnScgZCo6dVbgG1TREd39D6RIHmNPn/Mbd54rtmwkTUT9rGmaAqzVu4WnJpx4C6Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:32:44.774465Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.02791","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9a5907acd27bc72b6c0c70f8d1d3b7c5379a4aa44281f5f1735a8b7f77165cbc","sha256:3368466479c530bf6de1552cdac94d80fd1151f8d95d56f6033446f83ffa196b"],"state_sha256":"9c2d9c48ae1b344ac01b9234a2ddd329b77453c9b073bf2c4c4d16ab6bec32ed"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6KQ0Usvf/1oBEr/z2nQE0EdJ6QILrC67EsYP7NpoMeXUvOVGY2dlMWaEbJT8aeXD3exVh62UAsLOfr3FczEADg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T17:04:00.317418Z","bundle_sha256":"9fec19faafd8051fa5be02e1bbb9206175f848dd4305c42277a7c406dc527497"}}