{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:BN6YXUJ4KKS6G3GLODDWBVQDIZ","short_pith_number":"pith:BN6YXUJ4","canonical_record":{"source":{"id":"1809.09310","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-25T03:57:00Z","cross_cats_sorted":["cs.CV","cs.LG"],"title_canon_sha256":"c4a093bf7dc4e95aa002b82e7cce4d28f042b2263a82455f33696bd80a7da790","abstract_canon_sha256":"fcebc2147b12887158bb37b6cc9798b70badede9d3d6f55570ab26f6c459119a"},"schema_version":"1.0"},"canonical_sha256":"0b7d8bd13c52a5e36ccb70c760d603466892697226a3d87fd441c44f46e32e98","source":{"kind":"arxiv","id":"1809.09310","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.09310","created_at":"2026-05-17T23:42:48Z"},{"alias_kind":"arxiv_version","alias_value":"1809.09310v2","created_at":"2026-05-17T23:42:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.09310","created_at":"2026-05-17T23:42:48Z"},{"alias_kind":"pith_short_12","alias_value":"BN6YXUJ4KKS6","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BN6YXUJ4KKS6G3GL","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BN6YXUJ4","created_at":"2026-05-18T12:32:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:BN6YXUJ4KKS6G3GLODDWBVQDIZ","target":"record","payload":{"canonical_record":{"source":{"id":"1809.09310","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-25T03:57:00Z","cross_cats_sorted":["cs.CV","cs.LG"],"title_canon_sha256":"c4a093bf7dc4e95aa002b82e7cce4d28f042b2263a82455f33696bd80a7da790","abstract_canon_sha256":"fcebc2147b12887158bb37b6cc9798b70badede9d3d6f55570ab26f6c459119a"},"schema_version":"1.0"},"canonical_sha256":"0b7d8bd13c52a5e36ccb70c760d603466892697226a3d87fd441c44f46e32e98","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:48.855061Z","signature_b64":"5r4U4Z0Zk9Wh2h+OImLGf5YVt9xKPrZrRQD3asTw13q2FALXi5LLmQ9f5Q4fEV7rGmpktdUcVZI/oTVjrYv5CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b7d8bd13c52a5e36ccb70c760d603466892697226a3d87fd441c44f46e32e98","last_reissued_at":"2026-05-17T23:42:48.854652Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:48.854652Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.09310","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-17T23:42:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pnxhcsdg/ltAWVo9QJp4CFT1k1/lBJ2kZuyFP8/sZsDFHjOiJ0mXmA01jR+YioxM3DxIcXUZnUZ5z9sYwxqyDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T03:02:47.967207Z"},"content_sha256":"dd01ed551a165353b48d1f2f86ae141450aceb3551dda87f6bf062a553f3026d","schema_version":"1.0","event_id":"sha256:dd01ed551a165353b48d1f2f86ae141450aceb3551dda87f6bf062a553f3026d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:BN6YXUJ4KKS6G3GLODDWBVQDIZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Scenic: A Language for Scenario Specification and Scene Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CV","cs.LG"],"primary_cat":"cs.PL","authors_text":"Alberto L. Sangiovanni-Vincentelli, Daniel J. Fremont, Sanjit A. Seshia, Shromona Ghosh, Tommaso Dreossi, Xiangyu Yue","submitted_at":"2018-09-25T03:57:00Z","abstract_excerpt":"We propose a new probabilistic programming language for the design and analysis of perception systems, especially those based on machine learning. Specifically, we consider the problems of training a perception system to handle rare events, testing its performance under different conditions, and debugging failures. We show how a probabilistic programming language can help address these problems by specifying distributions encoding interesting types of inputs and sampling these to generate specialized training and test sets. More generally, such languages can be used for cyber-physical systems "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.09310","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-17T23:42:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XLU+9jedBMGsyomTuUezSlaPEsl+8wLJ3AmMeUaksq6BnbqOdrPjmG2MgQopwS9Srb5mgm7qNkVmwyizY2rlAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T03:02:47.967867Z"},"content_sha256":"15320eedf5a2a65e0afc39042ee51bf34c18f1a384ced707263d0a94fe244b81","schema_version":"1.0","event_id":"sha256:15320eedf5a2a65e0afc39042ee51bf34c18f1a384ced707263d0a94fe244b81"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BN6YXUJ4KKS6G3GLODDWBVQDIZ/bundle.json","state_url":"https://pith.science/pith/BN6YXUJ4KKS6G3GLODDWBVQDIZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BN6YXUJ4KKS6G3GLODDWBVQDIZ/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-27T03:02:47Z","links":{"resolver":"https://pith.science/pith/BN6YXUJ4KKS6G3GLODDWBVQDIZ","bundle":"https://pith.science/pith/BN6YXUJ4KKS6G3GLODDWBVQDIZ/bundle.json","state":"https://pith.science/pith/BN6YXUJ4KKS6G3GLODDWBVQDIZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BN6YXUJ4KKS6G3GLODDWBVQDIZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:BN6YXUJ4KKS6G3GLODDWBVQDIZ","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":"fcebc2147b12887158bb37b6cc9798b70badede9d3d6f55570ab26f6c459119a","cross_cats_sorted":["cs.CV","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-25T03:57:00Z","title_canon_sha256":"c4a093bf7dc4e95aa002b82e7cce4d28f042b2263a82455f33696bd80a7da790"},"schema_version":"1.0","source":{"id":"1809.09310","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.09310","created_at":"2026-05-17T23:42:48Z"},{"alias_kind":"arxiv_version","alias_value":"1809.09310v2","created_at":"2026-05-17T23:42:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.09310","created_at":"2026-05-17T23:42:48Z"},{"alias_kind":"pith_short_12","alias_value":"BN6YXUJ4KKS6","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BN6YXUJ4KKS6G3GL","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BN6YXUJ4","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:15320eedf5a2a65e0afc39042ee51bf34c18f1a384ced707263d0a94fe244b81","target":"graph","created_at":"2026-05-17T23:42:48Z","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":"We propose a new probabilistic programming language for the design and analysis of perception systems, especially those based on machine learning. Specifically, we consider the problems of training a perception system to handle rare events, testing its performance under different conditions, and debugging failures. We show how a probabilistic programming language can help address these problems by specifying distributions encoding interesting types of inputs and sampling these to generate specialized training and test sets. More generally, such languages can be used for cyber-physical systems ","authors_text":"Alberto L. Sangiovanni-Vincentelli, Daniel J. Fremont, Sanjit A. Seshia, Shromona Ghosh, Tommaso Dreossi, Xiangyu Yue","cross_cats":["cs.CV","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-25T03:57:00Z","title":"Scenic: A Language for Scenario Specification and Scene Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.09310","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:dd01ed551a165353b48d1f2f86ae141450aceb3551dda87f6bf062a553f3026d","target":"record","created_at":"2026-05-17T23:42:48Z","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":"fcebc2147b12887158bb37b6cc9798b70badede9d3d6f55570ab26f6c459119a","cross_cats_sorted":["cs.CV","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-25T03:57:00Z","title_canon_sha256":"c4a093bf7dc4e95aa002b82e7cce4d28f042b2263a82455f33696bd80a7da790"},"schema_version":"1.0","source":{"id":"1809.09310","kind":"arxiv","version":2}},"canonical_sha256":"0b7d8bd13c52a5e36ccb70c760d603466892697226a3d87fd441c44f46e32e98","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0b7d8bd13c52a5e36ccb70c760d603466892697226a3d87fd441c44f46e32e98","first_computed_at":"2026-05-17T23:42:48.854652Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:48.854652Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5r4U4Z0Zk9Wh2h+OImLGf5YVt9xKPrZrRQD3asTw13q2FALXi5LLmQ9f5Q4fEV7rGmpktdUcVZI/oTVjrYv5CA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:48.855061Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.09310","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd01ed551a165353b48d1f2f86ae141450aceb3551dda87f6bf062a553f3026d","sha256:15320eedf5a2a65e0afc39042ee51bf34c18f1a384ced707263d0a94fe244b81"],"state_sha256":"53173d3b5b12b7d63783ff03ab4cb490edc97a9f71cfced27153fed59304e81c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vvuGta6Zc9QhjUI1kRXQJ6lD8OLQvEcJeoy+Z66ko+vaF7huxt4PtU/jbM3wyya7n1eYzX8/wzK3uWwwHLcJDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T03:02:47.970928Z","bundle_sha256":"72e01f1b3b1a11a826df9240113533df9a06b735b717a90eb6e55b62f057a643"}}