{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FE4VYZDZKKS2HCEF4LHPZSUWH4","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":"1b44f47ce8b35b3e80a319e6538147d934d3ca0e68b8635783a517d0953f722c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-04T18:59:07Z","title_canon_sha256":"07584f9d4a565ccf71597197083f3f73a883bb7e5dde84e47ad2c71526666a8f"},"schema_version":"1.0","source":{"id":"2505.02216","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.02216","created_at":"2026-07-05T11:01:36Z"},{"alias_kind":"arxiv_version","alias_value":"2505.02216v2","created_at":"2026-07-05T11:01:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.02216","created_at":"2026-07-05T11:01:36Z"},{"alias_kind":"pith_short_12","alias_value":"FE4VYZDZKKS2","created_at":"2026-07-05T11:01:36Z"},{"alias_kind":"pith_short_16","alias_value":"FE4VYZDZKKS2HCEF","created_at":"2026-07-05T11:01:36Z"},{"alias_kind":"pith_short_8","alias_value":"FE4VYZDZ","created_at":"2026-07-05T11:01:36Z"}],"graph_snapshots":[{"event_id":"sha256:3bacac4e23c3e87b1d20cfe17345938ecbad092e1eadcf4a96f3fd26ee12003c","target":"graph","created_at":"2026-07-05T11:01:36Z","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/2505.02216/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Partially Observable Markov Decision Processes (POMDPs) model decision making under uncertainty. While there are many approaches to approximately solving POMDPs, we aim to address the problem of learning such models. In particular, we are interested in a subclass of POMDPs wherein the components of the model, including the observation function, reward function, transition function, and initial state distribution function, can be modeled as low-complexity probabilistic graphical models in the form of a short probabilistic program. Our strategy to learn these programs uses an LLM as a prior, gen","authors_text":"Aidan Curtis, Hao Tang, Joshua Tenenbaum, Kevin Ellis, Leslie Pack Kaelbling, Thiago Veloso, Tom\\'as Lozano-P\\'erez","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-04T18:59:07Z","title":"LLM-Guided Probabilistic Program Induction for POMDP Model Estimation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.02216","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:e4180fb1f668b9fd816c37c06166d76c4674dd4fa31205fd75eb490f1caacb28","target":"record","created_at":"2026-07-05T11:01:36Z","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":"1b44f47ce8b35b3e80a319e6538147d934d3ca0e68b8635783a517d0953f722c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-04T18:59:07Z","title_canon_sha256":"07584f9d4a565ccf71597197083f3f73a883bb7e5dde84e47ad2c71526666a8f"},"schema_version":"1.0","source":{"id":"2505.02216","kind":"arxiv","version":2}},"canonical_sha256":"29395c647952a5a38885e2cefcca963f2495b41353cb9f641146b751c54ab8a6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"29395c647952a5a38885e2cefcca963f2495b41353cb9f641146b751c54ab8a6","first_computed_at":"2026-07-05T11:01:36.086895Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:01:36.086895Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ERGNTOVnOn4IoPv1gDbrrPaYEGKOzMZ8BiHqw3nSvUFOMTuHHRo4kB4g8TOF7q5DhhWpkft5Bg6OPlAoBlA7Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:01:36.087366Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.02216","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e4180fb1f668b9fd816c37c06166d76c4674dd4fa31205fd75eb490f1caacb28","sha256:3bacac4e23c3e87b1d20cfe17345938ecbad092e1eadcf4a96f3fd26ee12003c"],"state_sha256":"56fe7abc2ac067d2d52a50b529c38357cdc4d3d95f034188c59b8f2415e88d31"}