{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:K4DPZNMSBHVEGWRPO2NRSTJHZJ","short_pith_number":"pith:K4DPZNMS","canonical_record":{"source":{"id":"2506.20097","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-25T02:44:20Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"cdf7c42f94151da92678b1c657f853f28ca07a3f9b4ce24933df0b77e714d45c","abstract_canon_sha256":"b397c37f00d35a537efd294ab3a34b6aefa90e28eb93da43b8803b0734e164f7"},"schema_version":"1.0"},"canonical_sha256":"5706fcb59209ea435a2f769b194d27ca570ff72b27eded00900982bd2be56458","source":{"kind":"arxiv","id":"2506.20097","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.20097","created_at":"2026-07-05T11:27:00Z"},{"alias_kind":"arxiv_version","alias_value":"2506.20097v1","created_at":"2026-07-05T11:27:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.20097","created_at":"2026-07-05T11:27:00Z"},{"alias_kind":"pith_short_12","alias_value":"K4DPZNMSBHVE","created_at":"2026-07-05T11:27:00Z"},{"alias_kind":"pith_short_16","alias_value":"K4DPZNMSBHVEGWRP","created_at":"2026-07-05T11:27:00Z"},{"alias_kind":"pith_short_8","alias_value":"K4DPZNMS","created_at":"2026-07-05T11:27:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:K4DPZNMSBHVEGWRPO2NRSTJHZJ","target":"record","payload":{"canonical_record":{"source":{"id":"2506.20097","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-25T02:44:20Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"cdf7c42f94151da92678b1c657f853f28ca07a3f9b4ce24933df0b77e714d45c","abstract_canon_sha256":"b397c37f00d35a537efd294ab3a34b6aefa90e28eb93da43b8803b0734e164f7"},"schema_version":"1.0"},"canonical_sha256":"5706fcb59209ea435a2f769b194d27ca570ff72b27eded00900982bd2be56458","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:27:00.312978Z","signature_b64":"lmNADKB4npJDlSV0eMown2Kwtl92Dizd9Ws0ay7T95UGlPwpTacrsF2wWyZjyRtYb/ol2UxpjfAamGwLuOjjCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5706fcb59209ea435a2f769b194d27ca570ff72b27eded00900982bd2be56458","last_reissued_at":"2026-07-05T11:27:00.312508Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:27:00.312508Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.20097","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-07-05T11:27:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E4VHp16cLHqIyOpmN8RoezWc6Gw64f+1e3u7BDK7JgcPR6iKOeHa6qIF2Q5VYCqhbioPAS724yagXH5ynSSNBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T07:12:08.201105Z"},"content_sha256":"4280bbe290de856423563e83263d3f6d6c8633c73686e6160edc2147b8393ac2","schema_version":"1.0","event_id":"sha256:4280bbe290de856423563e83263d3f6d6c8633c73686e6160edc2147b8393ac2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:K4DPZNMSBHVEGWRPO2NRSTJHZJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PSALM-V: Automating Symbolic Planning in Interactive Visual Environments with Large Language Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.RO","authors_text":"Ishika Singh, Jesse Thomason, Miaosen Chai, Robin Jia, Wang Bill Zhu","submitted_at":"2025-06-25T02:44:20Z","abstract_excerpt":"We propose PSALM-V, the first autonomous neuro-symbolic learning system able to induce symbolic action semantics (i.e., pre- and post-conditions) in visual environments through interaction. PSALM-V bootstraps reliable symbolic planning without expert action definitions, using LLMs to generate heuristic plans and candidate symbolic semantics. Previous work has explored using large language models to generate action semantics for Planning Domain Definition Language (PDDL)-based symbolic planners. However, these approaches have primarily focused on text-based domains or relied on unrealistic assu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.20097","kind":"arxiv","version":1},"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/2506.20097/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-05T11:27:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ti8oltYeL+hVetWIr2TzSex1MVBdsVInUSqiprB/ACyIoaMxHy1s+Cj+FVuIIiZmQPdDFR9rFTh/w3kLUZhTDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T07:12:08.201719Z"},"content_sha256":"a3ffaa96baf1fecf2dfb840da69401d9f08bb74d81caea470eec3fa0cbc57184","schema_version":"1.0","event_id":"sha256:a3ffaa96baf1fecf2dfb840da69401d9f08bb74d81caea470eec3fa0cbc57184"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ/bundle.json","state_url":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ/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-09T07:12:08Z","links":{"resolver":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ","bundle":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ/bundle.json","state":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:K4DPZNMSBHVEGWRPO2NRSTJHZJ","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":"b397c37f00d35a537efd294ab3a34b6aefa90e28eb93da43b8803b0734e164f7","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-25T02:44:20Z","title_canon_sha256":"cdf7c42f94151da92678b1c657f853f28ca07a3f9b4ce24933df0b77e714d45c"},"schema_version":"1.0","source":{"id":"2506.20097","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.20097","created_at":"2026-07-05T11:27:00Z"},{"alias_kind":"arxiv_version","alias_value":"2506.20097v1","created_at":"2026-07-05T11:27:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.20097","created_at":"2026-07-05T11:27:00Z"},{"alias_kind":"pith_short_12","alias_value":"K4DPZNMSBHVE","created_at":"2026-07-05T11:27:00Z"},{"alias_kind":"pith_short_16","alias_value":"K4DPZNMSBHVEGWRP","created_at":"2026-07-05T11:27:00Z"},{"alias_kind":"pith_short_8","alias_value":"K4DPZNMS","created_at":"2026-07-05T11:27:00Z"}],"graph_snapshots":[{"event_id":"sha256:a3ffaa96baf1fecf2dfb840da69401d9f08bb74d81caea470eec3fa0cbc57184","target":"graph","created_at":"2026-07-05T11:27:00Z","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/2506.20097/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose PSALM-V, the first autonomous neuro-symbolic learning system able to induce symbolic action semantics (i.e., pre- and post-conditions) in visual environments through interaction. PSALM-V bootstraps reliable symbolic planning without expert action definitions, using LLMs to generate heuristic plans and candidate symbolic semantics. Previous work has explored using large language models to generate action semantics for Planning Domain Definition Language (PDDL)-based symbolic planners. However, these approaches have primarily focused on text-based domains or relied on unrealistic assu","authors_text":"Ishika Singh, Jesse Thomason, Miaosen Chai, Robin Jia, Wang Bill Zhu","cross_cats":["cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-25T02:44:20Z","title":"PSALM-V: Automating Symbolic Planning in Interactive Visual Environments with Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.20097","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:4280bbe290de856423563e83263d3f6d6c8633c73686e6160edc2147b8393ac2","target":"record","created_at":"2026-07-05T11:27:00Z","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":"b397c37f00d35a537efd294ab3a34b6aefa90e28eb93da43b8803b0734e164f7","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-25T02:44:20Z","title_canon_sha256":"cdf7c42f94151da92678b1c657f853f28ca07a3f9b4ce24933df0b77e714d45c"},"schema_version":"1.0","source":{"id":"2506.20097","kind":"arxiv","version":1}},"canonical_sha256":"5706fcb59209ea435a2f769b194d27ca570ff72b27eded00900982bd2be56458","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5706fcb59209ea435a2f769b194d27ca570ff72b27eded00900982bd2be56458","first_computed_at":"2026-07-05T11:27:00.312508Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:27:00.312508Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lmNADKB4npJDlSV0eMown2Kwtl92Dizd9Ws0ay7T95UGlPwpTacrsF2wWyZjyRtYb/ol2UxpjfAamGwLuOjjCA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:27:00.312978Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.20097","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4280bbe290de856423563e83263d3f6d6c8633c73686e6160edc2147b8393ac2","sha256:a3ffaa96baf1fecf2dfb840da69401d9f08bb74d81caea470eec3fa0cbc57184"],"state_sha256":"354b31c76a0913a3bc34172d8ce886dc74fa11d8e4717674c4df6fe71e7df6be"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0wdNwdeIdsEk3OoS/y5btkJKn22gM5MQ6Ap84VIDwJg/RyOJ9qDMLOkotSyKE8AmqTZqJQwOeNNwhnedQ+IBBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T07:12:08.207713Z","bundle_sha256":"28ef34260de8a8c2fb254d5098935368c23f96595b3b152fa957dc6e33e45cb4"}}