{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:KLQ6EOEXTDWENKYGEAR3VLYICG","short_pith_number":"pith:KLQ6EOEX","canonical_record":{"source":{"id":"2605.28500","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-05-27T14:01:30Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"1344bb87c40b4e36493fd59455519753cb9ef35a02615032556a4635575c8bbf","abstract_canon_sha256":"fc172c81968d610571428988f5493cbdd95add2f46b8d016c01578cf637bd485"},"schema_version":"1.0"},"canonical_sha256":"52e1e2389798ec46ab062023baaf0811b0d2c8712eaeb32a4943ab98b3f9219e","source":{"kind":"arxiv","id":"2605.28500","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.28500","created_at":"2026-05-28T02:04:54Z"},{"alias_kind":"arxiv_version","alias_value":"2605.28500v1","created_at":"2026-05-28T02:04:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.28500","created_at":"2026-05-28T02:04:54Z"},{"alias_kind":"pith_short_12","alias_value":"KLQ6EOEXTDWE","created_at":"2026-05-28T02:04:54Z"},{"alias_kind":"pith_short_16","alias_value":"KLQ6EOEXTDWENKYG","created_at":"2026-05-28T02:04:54Z"},{"alias_kind":"pith_short_8","alias_value":"KLQ6EOEX","created_at":"2026-05-28T02:04:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:KLQ6EOEXTDWENKYGEAR3VLYICG","target":"record","payload":{"canonical_record":{"source":{"id":"2605.28500","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-05-27T14:01:30Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"1344bb87c40b4e36493fd59455519753cb9ef35a02615032556a4635575c8bbf","abstract_canon_sha256":"fc172c81968d610571428988f5493cbdd95add2f46b8d016c01578cf637bd485"},"schema_version":"1.0"},"canonical_sha256":"52e1e2389798ec46ab062023baaf0811b0d2c8712eaeb32a4943ab98b3f9219e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-28T02:04:54.697532Z","signature_b64":"H8SWLwpWXwmuw801QRpJyQt1uPII9XBLVbbNdRKm4+puqkX3fc7kvMFPZYBL8JBw0F4xtoyyxcU98SbZTfwEAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"52e1e2389798ec46ab062023baaf0811b0d2c8712eaeb32a4943ab98b3f9219e","last_reissued_at":"2026-05-28T02:04:54.697118Z","signature_status":"signed_v1","first_computed_at":"2026-05-28T02:04:54.697118Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.28500","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-05-28T02:04:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wekMIql3u7YY9GAj55hyd2TjTnENdAsugmL3wtkn/cgfRIff4m4WHdudhj+BdtTrWDZWOXdyZ8euoN+RRV6LBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T14:33:59.689839Z"},"content_sha256":"be5393f41f9b59a06f6afe82ca6c622c596148ccbb20b3eb05dd41da98ca4725","schema_version":"1.0","event_id":"sha256:be5393f41f9b59a06f6afe82ca6c622c596148ccbb20b3eb05dd41da98ca4725"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:KLQ6EOEXTDWENKYGEAR3VLYICG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Functional Entropy: Predicting Functional Correctness in LLM-Generated Code with Uncertainty Quantification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.CL","authors_text":"Dylan Bouchard, Ho-Kyeong Ra, Mohit Singh Chauhan, Zeya Ahmad","submitted_at":"2026-05-27T14:01:30Z","abstract_excerpt":"Large language models have shown impressive capabilities in code generation, yet they often produce functionally incorrect code. Uncertainty quantification (UQ) methods have emerged as a promising approach for detecting hallucinations in natural language generation, but their effectiveness for code generation tasks remains underexplored. We systematically evaluate how UQ techniques transfer to code generation across three programming languages, five LLMs, and over 1,700 problems. We find that some token-probability-based methods generalize effectively without modification, while sampling-based"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.28500","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/2605.28500/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-05-28T02:04:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/CRgstB5RsczrU/b0Tr1UzVWW0dCvUjNPQ0jaljXT3y+f4tn7cpFdz27mJALQxCXNg1BYz7ByDI3OR0sZ+DTBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T14:33:59.690214Z"},"content_sha256":"fbdb2767a509e6da743df11b757dbaad7b51f733281be1e10509540a80188aa8","schema_version":"1.0","event_id":"sha256:fbdb2767a509e6da743df11b757dbaad7b51f733281be1e10509540a80188aa8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KLQ6EOEXTDWENKYGEAR3VLYICG/bundle.json","state_url":"https://pith.science/pith/KLQ6EOEXTDWENKYGEAR3VLYICG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KLQ6EOEXTDWENKYGEAR3VLYICG/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-06-11T14:33:59Z","links":{"resolver":"https://pith.science/pith/KLQ6EOEXTDWENKYGEAR3VLYICG","bundle":"https://pith.science/pith/KLQ6EOEXTDWENKYGEAR3VLYICG/bundle.json","state":"https://pith.science/pith/KLQ6EOEXTDWENKYGEAR3VLYICG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KLQ6EOEXTDWENKYGEAR3VLYICG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:KLQ6EOEXTDWENKYGEAR3VLYICG","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":"fc172c81968d610571428988f5493cbdd95add2f46b8d016c01578cf637bd485","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-05-27T14:01:30Z","title_canon_sha256":"1344bb87c40b4e36493fd59455519753cb9ef35a02615032556a4635575c8bbf"},"schema_version":"1.0","source":{"id":"2605.28500","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.28500","created_at":"2026-05-28T02:04:54Z"},{"alias_kind":"arxiv_version","alias_value":"2605.28500v1","created_at":"2026-05-28T02:04:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.28500","created_at":"2026-05-28T02:04:54Z"},{"alias_kind":"pith_short_12","alias_value":"KLQ6EOEXTDWE","created_at":"2026-05-28T02:04:54Z"},{"alias_kind":"pith_short_16","alias_value":"KLQ6EOEXTDWENKYG","created_at":"2026-05-28T02:04:54Z"},{"alias_kind":"pith_short_8","alias_value":"KLQ6EOEX","created_at":"2026-05-28T02:04:54Z"}],"graph_snapshots":[{"event_id":"sha256:fbdb2767a509e6da743df11b757dbaad7b51f733281be1e10509540a80188aa8","target":"graph","created_at":"2026-05-28T02:04:54Z","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/2605.28500/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models have shown impressive capabilities in code generation, yet they often produce functionally incorrect code. Uncertainty quantification (UQ) methods have emerged as a promising approach for detecting hallucinations in natural language generation, but their effectiveness for code generation tasks remains underexplored. We systematically evaluate how UQ techniques transfer to code generation across three programming languages, five LLMs, and over 1,700 problems. We find that some token-probability-based methods generalize effectively without modification, while sampling-based","authors_text":"Dylan Bouchard, Ho-Kyeong Ra, Mohit Singh Chauhan, Zeya Ahmad","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-05-27T14:01:30Z","title":"Functional Entropy: Predicting Functional Correctness in LLM-Generated Code with Uncertainty Quantification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.28500","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:be5393f41f9b59a06f6afe82ca6c622c596148ccbb20b3eb05dd41da98ca4725","target":"record","created_at":"2026-05-28T02:04:54Z","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":"fc172c81968d610571428988f5493cbdd95add2f46b8d016c01578cf637bd485","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-05-27T14:01:30Z","title_canon_sha256":"1344bb87c40b4e36493fd59455519753cb9ef35a02615032556a4635575c8bbf"},"schema_version":"1.0","source":{"id":"2605.28500","kind":"arxiv","version":1}},"canonical_sha256":"52e1e2389798ec46ab062023baaf0811b0d2c8712eaeb32a4943ab98b3f9219e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"52e1e2389798ec46ab062023baaf0811b0d2c8712eaeb32a4943ab98b3f9219e","first_computed_at":"2026-05-28T02:04:54.697118Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-28T02:04:54.697118Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"H8SWLwpWXwmuw801QRpJyQt1uPII9XBLVbbNdRKm4+puqkX3fc7kvMFPZYBL8JBw0F4xtoyyxcU98SbZTfwEAQ==","signature_status":"signed_v1","signed_at":"2026-05-28T02:04:54.697532Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.28500","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:be5393f41f9b59a06f6afe82ca6c622c596148ccbb20b3eb05dd41da98ca4725","sha256:fbdb2767a509e6da743df11b757dbaad7b51f733281be1e10509540a80188aa8"],"state_sha256":"02ab00da93d22bda22cb6d590d662018fafa0c0d3dc98b6683b6b0516142adbe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K02JBqk11ZX813kjksiLbyQjcKpT89V4JtVaLJFyxQI6VZL0kAYyvhXx7p0L9wbI3unQfBKF4egQ+gi5U1BYAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T14:33:59.692285Z","bundle_sha256":"d4abcc95c7f08cfd0b696645c7202f5e92b3db0169490625cfe401232e0f7696"}}