{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:HYSLG7FXMBK7EEE2FXKXKYMVEI","short_pith_number":"pith:HYSLG7FX","canonical_record":{"source":{"id":"2412.05561","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-12-07T06:50:12Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"82eb87953d31dcd5e4ec9e706d1203d081c15681c3a43e3ebe94c873e85f583a","abstract_canon_sha256":"14c8cba3abc6d25453193cb49bc246a1de78174b911013b055798e796771c558"},"schema_version":"1.0"},"canonical_sha256":"3e24b37cb76055f2109a2dd5756195221fe0482a93b5b102574aa12bfd67c95c","source":{"kind":"arxiv","id":"2412.05561","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.05561","created_at":"2026-07-05T11:17:38Z"},{"alias_kind":"arxiv_version","alias_value":"2412.05561v2","created_at":"2026-07-05T11:17:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.05561","created_at":"2026-07-05T11:17:38Z"},{"alias_kind":"pith_short_12","alias_value":"HYSLG7FXMBK7","created_at":"2026-07-05T11:17:38Z"},{"alias_kind":"pith_short_16","alias_value":"HYSLG7FXMBK7EEE2","created_at":"2026-07-05T11:17:38Z"},{"alias_kind":"pith_short_8","alias_value":"HYSLG7FX","created_at":"2026-07-05T11:17:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:HYSLG7FXMBK7EEE2FXKXKYMVEI","target":"record","payload":{"canonical_record":{"source":{"id":"2412.05561","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-12-07T06:50:12Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"82eb87953d31dcd5e4ec9e706d1203d081c15681c3a43e3ebe94c873e85f583a","abstract_canon_sha256":"14c8cba3abc6d25453193cb49bc246a1de78174b911013b055798e796771c558"},"schema_version":"1.0"},"canonical_sha256":"3e24b37cb76055f2109a2dd5756195221fe0482a93b5b102574aa12bfd67c95c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:17:38.637000Z","signature_b64":"uZDBBmRGXcYbEWvxRZ6jzyN1tHze7SUrwR5lFpAO3ymzSJylJ1lx/EZfGJw1Etrz9g1SoFn4ToRHehm/XRevAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3e24b37cb76055f2109a2dd5756195221fe0482a93b5b102574aa12bfd67c95c","last_reissued_at":"2026-07-05T11:17:38.636504Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:17:38.636504Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.05561","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-07-05T11:17:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7yHI6+X8r8S/6W2rFqgveXEFSIR6A7uDKWElWJww16yFR24SZrsOWzO6dmGexWQKwUluesMJrM1bvqSeSY8lCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T05:30:29.732088Z"},"content_sha256":"8c9fefd5666d6688af17a4b70da9f284699831fe964e57018577f86b6377cfaa","schema_version":"1.0","event_id":"sha256:8c9fefd5666d6688af17a4b70da9f284699831fe964e57018577f86b6377cfaa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:HYSLG7FXMBK7EEE2FXKXKYMVEI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Can the Rookies Cut the Tough Cookie? Exploring the Use of LLMs for SQL Equivalence Checking","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.DB","authors_text":"Rajat Singh, Srikanta Bedathur","submitted_at":"2024-12-07T06:50:12Z","abstract_excerpt":"Equivalence checking of SQL queries is an intractable problem often encountered in settings ranging from grading SQL submissions to debugging query optimizers. Despite recent work toward developing practical solutions, only simple queries written using a small subset of SQL are supported, leaving the equivalence checking of sophisticated SQL queries at the mercy of intensive, potentially error-prone, manual analysis. In this paper, we explore how LLMs can be used to reason with SQL queries to address this challenging problem. Towards this, we introduce a novel, realistic, and sufficiently comp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.05561","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2412.05561/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-05T11:17:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kdlQGuSO8IFxrSMhuaq4TJ3XvZVkIaV2VKK8W0DpMuYYq6SWx5sXhWprfXGSVLAmr3svhnBdrlbMbyOQt6pQCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T05:30:29.733179Z"},"content_sha256":"c7674355c788a39297a34d68ff960a699f7a754c4a647297209c45ac3c778fb3","schema_version":"1.0","event_id":"sha256:c7674355c788a39297a34d68ff960a699f7a754c4a647297209c45ac3c778fb3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HYSLG7FXMBK7EEE2FXKXKYMVEI/bundle.json","state_url":"https://pith.science/pith/HYSLG7FXMBK7EEE2FXKXKYMVEI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HYSLG7FXMBK7EEE2FXKXKYMVEI/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-13T05:30:29Z","links":{"resolver":"https://pith.science/pith/HYSLG7FXMBK7EEE2FXKXKYMVEI","bundle":"https://pith.science/pith/HYSLG7FXMBK7EEE2FXKXKYMVEI/bundle.json","state":"https://pith.science/pith/HYSLG7FXMBK7EEE2FXKXKYMVEI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HYSLG7FXMBK7EEE2FXKXKYMVEI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:HYSLG7FXMBK7EEE2FXKXKYMVEI","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":"14c8cba3abc6d25453193cb49bc246a1de78174b911013b055798e796771c558","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-12-07T06:50:12Z","title_canon_sha256":"82eb87953d31dcd5e4ec9e706d1203d081c15681c3a43e3ebe94c873e85f583a"},"schema_version":"1.0","source":{"id":"2412.05561","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.05561","created_at":"2026-07-05T11:17:38Z"},{"alias_kind":"arxiv_version","alias_value":"2412.05561v2","created_at":"2026-07-05T11:17:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.05561","created_at":"2026-07-05T11:17:38Z"},{"alias_kind":"pith_short_12","alias_value":"HYSLG7FXMBK7","created_at":"2026-07-05T11:17:38Z"},{"alias_kind":"pith_short_16","alias_value":"HYSLG7FXMBK7EEE2","created_at":"2026-07-05T11:17:38Z"},{"alias_kind":"pith_short_8","alias_value":"HYSLG7FX","created_at":"2026-07-05T11:17:38Z"}],"graph_snapshots":[{"event_id":"sha256:c7674355c788a39297a34d68ff960a699f7a754c4a647297209c45ac3c778fb3","target":"graph","created_at":"2026-07-05T11:17:38Z","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/2412.05561/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Equivalence checking of SQL queries is an intractable problem often encountered in settings ranging from grading SQL submissions to debugging query optimizers. Despite recent work toward developing practical solutions, only simple queries written using a small subset of SQL are supported, leaving the equivalence checking of sophisticated SQL queries at the mercy of intensive, potentially error-prone, manual analysis. In this paper, we explore how LLMs can be used to reason with SQL queries to address this challenging problem. Towards this, we introduce a novel, realistic, and sufficiently comp","authors_text":"Rajat Singh, Srikanta Bedathur","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-12-07T06:50:12Z","title":"Can the Rookies Cut the Tough Cookie? Exploring the Use of LLMs for SQL Equivalence Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.05561","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:8c9fefd5666d6688af17a4b70da9f284699831fe964e57018577f86b6377cfaa","target":"record","created_at":"2026-07-05T11:17:38Z","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":"14c8cba3abc6d25453193cb49bc246a1de78174b911013b055798e796771c558","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-12-07T06:50:12Z","title_canon_sha256":"82eb87953d31dcd5e4ec9e706d1203d081c15681c3a43e3ebe94c873e85f583a"},"schema_version":"1.0","source":{"id":"2412.05561","kind":"arxiv","version":2}},"canonical_sha256":"3e24b37cb76055f2109a2dd5756195221fe0482a93b5b102574aa12bfd67c95c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3e24b37cb76055f2109a2dd5756195221fe0482a93b5b102574aa12bfd67c95c","first_computed_at":"2026-07-05T11:17:38.636504Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:17:38.636504Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uZDBBmRGXcYbEWvxRZ6jzyN1tHze7SUrwR5lFpAO3ymzSJylJ1lx/EZfGJw1Etrz9g1SoFn4ToRHehm/XRevAg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:17:38.637000Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.05561","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8c9fefd5666d6688af17a4b70da9f284699831fe964e57018577f86b6377cfaa","sha256:c7674355c788a39297a34d68ff960a699f7a754c4a647297209c45ac3c778fb3"],"state_sha256":"f9184b3834af2af58b23c7875172efd26bea3ee77e150e786e21a9f33c004763"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o2/ijeODlNVGhsZlzg1Hit7DzkhaqO2YGQLIYm18ZdRuCv9B62jtjNpXvSIkG7uqvJJSwpH5edHe+jAQbPRABQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T05:30:29.737699Z","bundle_sha256":"6a94650b8bb1b92c26f59c95272e690e0ab851daca4669fc7b65ea8eda86a51b"}}