{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:KZ3PGD3CCIGTDQ4XIBZJQVJOPV","short_pith_number":"pith:KZ3PGD3C","canonical_record":{"source":{"id":"1704.04977","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-04-17T14:34:02Z","cross_cats_sorted":[],"title_canon_sha256":"f3e8bed25f6e2edd5cbc7b9cdede3415da290fb3c552dd9ec753b84e38fc7065","abstract_canon_sha256":"fa07d630af97cb0da835b66aaa527368adc83b630091482712fd85c9b8f00320"},"schema_version":"1.0"},"canonical_sha256":"5676f30f62120d31c397407298552e7d7f42e0d73734cff2b845d2b564b1d0be","source":{"kind":"arxiv","id":"1704.04977","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.04977","created_at":"2026-05-18T00:46:11Z"},{"alias_kind":"arxiv_version","alias_value":"1704.04977v2","created_at":"2026-05-18T00:46:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.04977","created_at":"2026-05-18T00:46:11Z"},{"alias_kind":"pith_short_12","alias_value":"KZ3PGD3CCIGT","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"KZ3PGD3CCIGTDQ4X","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"KZ3PGD3C","created_at":"2026-05-18T12:31:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:KZ3PGD3CCIGTDQ4XIBZJQVJOPV","target":"record","payload":{"canonical_record":{"source":{"id":"1704.04977","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-04-17T14:34:02Z","cross_cats_sorted":[],"title_canon_sha256":"f3e8bed25f6e2edd5cbc7b9cdede3415da290fb3c552dd9ec753b84e38fc7065","abstract_canon_sha256":"fa07d630af97cb0da835b66aaa527368adc83b630091482712fd85c9b8f00320"},"schema_version":"1.0"},"canonical_sha256":"5676f30f62120d31c397407298552e7d7f42e0d73734cff2b845d2b564b1d0be","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:11.805923Z","signature_b64":"FMDRF0LftWTfzR1ByZSqt8S7yA85R3owLBAbv+CoxOTzcV6JpiX2VyhoFkqHvCYGYx2t6mXOHcuG+mXSXgzRAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5676f30f62120d31c397407298552e7d7f42e0d73734cff2b845d2b564b1d0be","last_reissued_at":"2026-05-18T00:46:11.805450Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:11.805450Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.04977","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-05-18T00:46:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xWqhoONXq9PuQWBlEV9i+wPizh9AjdEB8X2g/LkIc0Jo3kgQ08Zbaf0WMdb0iI07PryTBVEbt/KFTEDNuiijAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T14:21:39.886939Z"},"content_sha256":"d580182b4bf3bc9d229b9d586068e4e3c2a789710e3720674ce63427bb9d4605","schema_version":"1.0","event_id":"sha256:d580182b4bf3bc9d229b9d586068e4e3c2a789710e3720674ce63427bb9d4605"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:KZ3PGD3CCIGTDQ4XIBZJQVJOPV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic programs for inferring the goals of autonomous agents","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alexey Radul, David Wingate, Marco F. Cusumano-Towner, Vikash K. Mansinghka","submitted_at":"2017-04-17T14:34:02Z","abstract_excerpt":"Intelligent systems sometimes need to infer the probable goals of people, cars, and robots, based on partial observations of their motion. This paper introduces a class of probabilistic programs for formulating and solving these problems. The formulation uses randomized path planning algorithms as the basis for probabilistic models of the process by which autonomous agents plan to achieve their goals. Because these path planning algorithms do not have tractable likelihood functions, new inference algorithms are needed. This paper proposes two Monte Carlo techniques for these \"likelihood-free\" "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.04977","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":""},"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-05-18T00:46:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IjnuQi2KdyRYz/pnsfcmi3aZKeO6hFDq4jchwpiABxJp2/0cDbA9OucpgpWYkAypMyKBO0mPOqWwUikVqk0jDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T14:21:39.887668Z"},"content_sha256":"5d846c288b39d3216dca5eeb47f9386e7a858f9540f2f970a5eab2a733f250bb","schema_version":"1.0","event_id":"sha256:5d846c288b39d3216dca5eeb47f9386e7a858f9540f2f970a5eab2a733f250bb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KZ3PGD3CCIGTDQ4XIBZJQVJOPV/bundle.json","state_url":"https://pith.science/pith/KZ3PGD3CCIGTDQ4XIBZJQVJOPV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KZ3PGD3CCIGTDQ4XIBZJQVJOPV/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-05-30T14:21:39Z","links":{"resolver":"https://pith.science/pith/KZ3PGD3CCIGTDQ4XIBZJQVJOPV","bundle":"https://pith.science/pith/KZ3PGD3CCIGTDQ4XIBZJQVJOPV/bundle.json","state":"https://pith.science/pith/KZ3PGD3CCIGTDQ4XIBZJQVJOPV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KZ3PGD3CCIGTDQ4XIBZJQVJOPV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:KZ3PGD3CCIGTDQ4XIBZJQVJOPV","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":"fa07d630af97cb0da835b66aaa527368adc83b630091482712fd85c9b8f00320","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-04-17T14:34:02Z","title_canon_sha256":"f3e8bed25f6e2edd5cbc7b9cdede3415da290fb3c552dd9ec753b84e38fc7065"},"schema_version":"1.0","source":{"id":"1704.04977","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.04977","created_at":"2026-05-18T00:46:11Z"},{"alias_kind":"arxiv_version","alias_value":"1704.04977v2","created_at":"2026-05-18T00:46:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.04977","created_at":"2026-05-18T00:46:11Z"},{"alias_kind":"pith_short_12","alias_value":"KZ3PGD3CCIGT","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"KZ3PGD3CCIGTDQ4X","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"KZ3PGD3C","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:5d846c288b39d3216dca5eeb47f9386e7a858f9540f2f970a5eab2a733f250bb","target":"graph","created_at":"2026-05-18T00:46:11Z","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"},"paper":{"abstract_excerpt":"Intelligent systems sometimes need to infer the probable goals of people, cars, and robots, based on partial observations of their motion. This paper introduces a class of probabilistic programs for formulating and solving these problems. The formulation uses randomized path planning algorithms as the basis for probabilistic models of the process by which autonomous agents plan to achieve their goals. Because these path planning algorithms do not have tractable likelihood functions, new inference algorithms are needed. This paper proposes two Monte Carlo techniques for these \"likelihood-free\" ","authors_text":"Alexey Radul, David Wingate, Marco F. Cusumano-Towner, Vikash K. Mansinghka","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-04-17T14:34:02Z","title":"Probabilistic programs for inferring the goals of autonomous agents"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.04977","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:d580182b4bf3bc9d229b9d586068e4e3c2a789710e3720674ce63427bb9d4605","target":"record","created_at":"2026-05-18T00:46:11Z","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":"fa07d630af97cb0da835b66aaa527368adc83b630091482712fd85c9b8f00320","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-04-17T14:34:02Z","title_canon_sha256":"f3e8bed25f6e2edd5cbc7b9cdede3415da290fb3c552dd9ec753b84e38fc7065"},"schema_version":"1.0","source":{"id":"1704.04977","kind":"arxiv","version":2}},"canonical_sha256":"5676f30f62120d31c397407298552e7d7f42e0d73734cff2b845d2b564b1d0be","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5676f30f62120d31c397407298552e7d7f42e0d73734cff2b845d2b564b1d0be","first_computed_at":"2026-05-18T00:46:11.805450Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:46:11.805450Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FMDRF0LftWTfzR1ByZSqt8S7yA85R3owLBAbv+CoxOTzcV6JpiX2VyhoFkqHvCYGYx2t6mXOHcuG+mXSXgzRAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:46:11.805923Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.04977","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d580182b4bf3bc9d229b9d586068e4e3c2a789710e3720674ce63427bb9d4605","sha256:5d846c288b39d3216dca5eeb47f9386e7a858f9540f2f970a5eab2a733f250bb"],"state_sha256":"d152fe84e2f1603cea108085236e90e04bbdb9cd8fe332de6a9dd2eba7933629"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gc0FnvN3PmdN1xlbVD2bsUWgLMXp9kbhbPq0LZAT69Wzu11UO4CSMRqMiQ2f4VS74s7L5zTMdhgI+P5FF88TDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T14:21:39.892593Z","bundle_sha256":"46cae2c5c84567afb55643e6579d67cdfa4ceed9ba1131c6274c448cc47467ac"}}