{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:K4DPZNMSBHVEGWRPO2NRSTJHZJ","short_pith_number":"pith:K4DPZNMS","schema_version":"1.0","canonical_sha256":"5706fcb59209ea435a2f769b194d27ca570ff72b27eded00900982bd2be56458","source":{"kind":"arxiv","id":"2506.20097","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.20097","created_at":"2026-07-05T11:27:00.312572+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.20097v1","created_at":"2026-07-05T11:27:00.312572+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.20097","created_at":"2026-07-05T11:27:00.312572+00:00"},{"alias_kind":"pith_short_12","alias_value":"K4DPZNMSBHVE","created_at":"2026-07-05T11:27:00.312572+00:00"},{"alias_kind":"pith_short_16","alias_value":"K4DPZNMSBHVEGWRP","created_at":"2026-07-05T11:27:00.312572+00:00"},{"alias_kind":"pith_short_8","alias_value":"K4DPZNMS","created_at":"2026-07-05T11:27:00.312572+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ","json":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ.json","graph_json":"https://pith.science/api/pith-number/K4DPZNMSBHVEGWRPO2NRSTJHZJ/graph.json","events_json":"https://pith.science/api/pith-number/K4DPZNMSBHVEGWRPO2NRSTJHZJ/events.json","paper":"https://pith.science/paper/K4DPZNMS"},"agent_actions":{"view_html":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ","download_json":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ.json","view_paper":"https://pith.science/paper/K4DPZNMS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.20097&json=true","fetch_graph":"https://pith.science/api/pith-number/K4DPZNMSBHVEGWRPO2NRSTJHZJ/graph.json","fetch_events":"https://pith.science/api/pith-number/K4DPZNMSBHVEGWRPO2NRSTJHZJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ/action/storage_attestation","attest_author":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ/action/author_attestation","sign_citation":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ/action/citation_signature","submit_replication":"https://pith.science/pith/K4DPZNMSBHVEGWRPO2NRSTJHZJ/action/replication_record"}},"created_at":"2026-07-05T11:27:00.312572+00:00","updated_at":"2026-07-05T11:27:00.312572+00:00"}