{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:AJYO6SAT6LZCAAP3HXIAKF4SHU","short_pith_number":"pith:AJYO6SAT","canonical_record":{"source":{"id":"2405.15912","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-05-24T20:15:53Z","cross_cats_sorted":["cs.LG","stat.ML"],"title_canon_sha256":"765dc5512f67cad8aa9c82fbe5b0179a439cfce5228730288ce7f7ccbfc8677f","abstract_canon_sha256":"0e44f14d6a841645270962c2071f3b4c0f40bb55d246f9dca109115e605a5c0c"},"schema_version":"1.0"},"canonical_sha256":"0270ef4813f2f22001fb3dd00517923d00e20ef6215788e42b5c53c80460bc26","source":{"kind":"arxiv","id":"2405.15912","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.15912","created_at":"2026-07-05T08:22:58Z"},{"alias_kind":"arxiv_version","alias_value":"2405.15912v1","created_at":"2026-07-05T08:22:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.15912","created_at":"2026-07-05T08:22:58Z"},{"alias_kind":"pith_short_12","alias_value":"AJYO6SAT6LZC","created_at":"2026-07-05T08:22:58Z"},{"alias_kind":"pith_short_16","alias_value":"AJYO6SAT6LZCAAP3","created_at":"2026-07-05T08:22:58Z"},{"alias_kind":"pith_short_8","alias_value":"AJYO6SAT","created_at":"2026-07-05T08:22:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:AJYO6SAT6LZCAAP3HXIAKF4SHU","target":"record","payload":{"canonical_record":{"source":{"id":"2405.15912","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-05-24T20:15:53Z","cross_cats_sorted":["cs.LG","stat.ML"],"title_canon_sha256":"765dc5512f67cad8aa9c82fbe5b0179a439cfce5228730288ce7f7ccbfc8677f","abstract_canon_sha256":"0e44f14d6a841645270962c2071f3b4c0f40bb55d246f9dca109115e605a5c0c"},"schema_version":"1.0"},"canonical_sha256":"0270ef4813f2f22001fb3dd00517923d00e20ef6215788e42b5c53c80460bc26","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:22:58.308803Z","signature_b64":"20YWF8urvp2CRu7GKbObkOpctBLGEJ5aOHU3eXL7qUmSOrR13nh+pE3dBwnbiI5Qe7vv46Kx+lGnyJL83jiNCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0270ef4813f2f22001fb3dd00517923d00e20ef6215788e42b5c53c80460bc26","last_reissued_at":"2026-07-05T08:22:58.305178Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:22:58.305178Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.15912","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-05T08:22:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2WqWXn5oWK8e3NOa4k/iL+YWgI8XRV+lKPR2SbMoP9jfLULwXC4KcaZqG2K6vo8WKiDREAaBd3kIhgXvow0PDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T08:10:55.986065Z"},"content_sha256":"47bbacb061df2d3a71ca8c35bdf815a7f69be812aad8111feab171ae3ff080a0","schema_version":"1.0","event_id":"sha256:47bbacb061df2d3a71ca8c35bdf815a7f69be812aad8111feab171ae3ff080a0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:AJYO6SAT6LZCAAP3HXIAKF4SHU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","stat.ML"],"primary_cat":"cs.PL","authors_text":"Osbert Bastani, Ramya Ramalingam, Sangdon Park","submitted_at":"2024-05-24T20:15:53Z","abstract_excerpt":"Machine learning has become an effective tool for automatically annotating unstructured data (e.g., images) with structured labels (e.g., object detections). As a result, a new programming paradigm called neurosymbolic programming has emerged where users write queries against these predicted annotations. However, due to the intrinsic fallibility of machine learning models, these programs currently lack any notion of correctness. In many domains, users may want some kind of conservative guarantee that the results of their queries contain all possibly relevant instances. Conformal prediction has"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.15912","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/2405.15912/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-05T08:22:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CWaMhz3v08yt7w16SrTJC4pIfYn1B+2wRuJmsG2xxehYxID9WIzuwhNntszrIbJKqwxH/0xRXJhl964BlCfNCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T08:10:55.987005Z"},"content_sha256":"4fe0e3003ddc6097bc14a9863f9cc09d7d895b71cd462461504ff2691855b982","schema_version":"1.0","event_id":"sha256:4fe0e3003ddc6097bc14a9863f9cc09d7d895b71cd462461504ff2691855b982"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AJYO6SAT6LZCAAP3HXIAKF4SHU/bundle.json","state_url":"https://pith.science/pith/AJYO6SAT6LZCAAP3HXIAKF4SHU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AJYO6SAT6LZCAAP3HXIAKF4SHU/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-04T08:10:55Z","links":{"resolver":"https://pith.science/pith/AJYO6SAT6LZCAAP3HXIAKF4SHU","bundle":"https://pith.science/pith/AJYO6SAT6LZCAAP3HXIAKF4SHU/bundle.json","state":"https://pith.science/pith/AJYO6SAT6LZCAAP3HXIAKF4SHU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AJYO6SAT6LZCAAP3HXIAKF4SHU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:AJYO6SAT6LZCAAP3HXIAKF4SHU","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":"0e44f14d6a841645270962c2071f3b4c0f40bb55d246f9dca109115e605a5c0c","cross_cats_sorted":["cs.LG","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-05-24T20:15:53Z","title_canon_sha256":"765dc5512f67cad8aa9c82fbe5b0179a439cfce5228730288ce7f7ccbfc8677f"},"schema_version":"1.0","source":{"id":"2405.15912","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.15912","created_at":"2026-07-05T08:22:58Z"},{"alias_kind":"arxiv_version","alias_value":"2405.15912v1","created_at":"2026-07-05T08:22:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.15912","created_at":"2026-07-05T08:22:58Z"},{"alias_kind":"pith_short_12","alias_value":"AJYO6SAT6LZC","created_at":"2026-07-05T08:22:58Z"},{"alias_kind":"pith_short_16","alias_value":"AJYO6SAT6LZCAAP3","created_at":"2026-07-05T08:22:58Z"},{"alias_kind":"pith_short_8","alias_value":"AJYO6SAT","created_at":"2026-07-05T08:22:58Z"}],"graph_snapshots":[{"event_id":"sha256:4fe0e3003ddc6097bc14a9863f9cc09d7d895b71cd462461504ff2691855b982","target":"graph","created_at":"2026-07-05T08:22:58Z","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/2405.15912/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Machine learning has become an effective tool for automatically annotating unstructured data (e.g., images) with structured labels (e.g., object detections). As a result, a new programming paradigm called neurosymbolic programming has emerged where users write queries against these predicted annotations. However, due to the intrinsic fallibility of machine learning models, these programs currently lack any notion of correctness. In many domains, users may want some kind of conservative guarantee that the results of their queries contain all possibly relevant instances. Conformal prediction has","authors_text":"Osbert Bastani, Ramya Ramalingam, Sangdon Park","cross_cats":["cs.LG","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-05-24T20:15:53Z","title":"Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.15912","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:47bbacb061df2d3a71ca8c35bdf815a7f69be812aad8111feab171ae3ff080a0","target":"record","created_at":"2026-07-05T08:22:58Z","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":"0e44f14d6a841645270962c2071f3b4c0f40bb55d246f9dca109115e605a5c0c","cross_cats_sorted":["cs.LG","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-05-24T20:15:53Z","title_canon_sha256":"765dc5512f67cad8aa9c82fbe5b0179a439cfce5228730288ce7f7ccbfc8677f"},"schema_version":"1.0","source":{"id":"2405.15912","kind":"arxiv","version":1}},"canonical_sha256":"0270ef4813f2f22001fb3dd00517923d00e20ef6215788e42b5c53c80460bc26","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0270ef4813f2f22001fb3dd00517923d00e20ef6215788e42b5c53c80460bc26","first_computed_at":"2026-07-05T08:22:58.305178Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:22:58.305178Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"20YWF8urvp2CRu7GKbObkOpctBLGEJ5aOHU3eXL7qUmSOrR13nh+pE3dBwnbiI5Qe7vv46Kx+lGnyJL83jiNCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:22:58.308803Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.15912","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:47bbacb061df2d3a71ca8c35bdf815a7f69be812aad8111feab171ae3ff080a0","sha256:4fe0e3003ddc6097bc14a9863f9cc09d7d895b71cd462461504ff2691855b982"],"state_sha256":"bcfe63bd2c24f4f9fc17c8f59ed18cd07028d49a4e83c42766b643b68b9c2c86"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6zHi+ehpj/alVLz4b+LoarDZ0QmnR1orD2rXkwV4GcgU8ltxobeUL/aAHmYBE/qORbY0qYOQwgHMbDM8HOPZBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T08:10:55.994320Z","bundle_sha256":"1460e4fd283d89ad59652ebe6f6ea0ed7d69bfc16567788ff9c2b2b10cfd9adc"}}