{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:YO7FA3LMHNEVGOMM5M5BJBTSEL","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":"cbc21fc7e376ea47108a676209e2f75fc894c5e20dd72bca54eaeb7e3e5893e5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-05-04T22:45:46Z","title_canon_sha256":"666ca1a246745f4e6d31d7ffcb8eb79650aa6ef5d9009b23a7a1b3fb2e22175b"},"schema_version":"1.0","source":{"id":"2505.02284","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.02284","created_at":"2026-07-05T10:58:35Z"},{"alias_kind":"arxiv_version","alias_value":"2505.02284v1","created_at":"2026-07-05T10:58:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.02284","created_at":"2026-07-05T10:58:35Z"},{"alias_kind":"pith_short_12","alias_value":"YO7FA3LMHNEV","created_at":"2026-07-05T10:58:35Z"},{"alias_kind":"pith_short_16","alias_value":"YO7FA3LMHNEVGOMM","created_at":"2026-07-05T10:58:35Z"},{"alias_kind":"pith_short_8","alias_value":"YO7FA3LM","created_at":"2026-07-05T10:58:35Z"}],"graph_snapshots":[{"event_id":"sha256:f27f548b1b6a63eddddfe72642765afb4a1a5d18ce3772ffaf65458347801106","target":"graph","created_at":"2026-07-05T10:58:35Z","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.02284/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Query optimization is critical in relational databases. Recently, numerous Learned Query Optimizers (LQOs) have been proposed, demonstrating superior performance over traditional hand-crafted query optimizers after short training periods. However, the opacity and instability of machine learning models have limited their practical applications. To address this issue, we are the first to formulate the LQO verification as a Conformal Prediction (CP) problem. We first construct the CP model and obtain user-controlled bounded ranges for the actual latency of LQO plans before execution. Then, we int","authors_text":"Hanwen Liu, Ibrahim Sabek, Shashank Giridhara","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-05-04T22:45:46Z","title":"Conformal Prediction for Verifiable Learned Query Optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.02284","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:5f9c9698d8a1e3b2f9e86c8470a853d4f6da14b451cc193ee125175937547216","target":"record","created_at":"2026-07-05T10:58:35Z","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":"cbc21fc7e376ea47108a676209e2f75fc894c5e20dd72bca54eaeb7e3e5893e5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-05-04T22:45:46Z","title_canon_sha256":"666ca1a246745f4e6d31d7ffcb8eb79650aa6ef5d9009b23a7a1b3fb2e22175b"},"schema_version":"1.0","source":{"id":"2505.02284","kind":"arxiv","version":1}},"canonical_sha256":"c3be506d6c3b4953398ceb3a14867222f2f9ce4da95a38cbaf97cac24e78d9ff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c3be506d6c3b4953398ceb3a14867222f2f9ce4da95a38cbaf97cac24e78d9ff","first_computed_at":"2026-07-05T10:58:35.055541Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:58:35.055541Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Fzchbf8xrsmnELDsqBthnSnjEDNIWzPidd787lqZf8SzNjUcda5ebty5UL9mNyROIxcpc1h8qkOXBZcSPIHSDw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:58:35.055989Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.02284","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5f9c9698d8a1e3b2f9e86c8470a853d4f6da14b451cc193ee125175937547216","sha256:f27f548b1b6a63eddddfe72642765afb4a1a5d18ce3772ffaf65458347801106"],"state_sha256":"d5fd3055e1363bd8c1da893e4f4fc6bbc005c83110f04950055479233825a3b6"}