{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:TME25OL4KJY2TZ6JF57ULL6ZGW","short_pith_number":"pith:TME25OL4","canonical_record":{"source":{"id":"2206.03865","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-06-04T22:01:05Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"af3224ebc4d31f9a73dc12100d76bdf90831ba65691ffb8236af5028087a8975","abstract_canon_sha256":"72c089c18bb8cd908ab931360f986525375ea3f5a51522974efb9b482df1cc7d"},"schema_version":"1.0"},"canonical_sha256":"9b09aeb97c5271a9e7c92f7f45afd9359d8ac78b54ffe2afbca869ba1e704f1d","source":{"kind":"arxiv","id":"2206.03865","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.03865","created_at":"2026-07-05T05:23:58Z"},{"alias_kind":"arxiv_version","alias_value":"2206.03865v2","created_at":"2026-07-05T05:23:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.03865","created_at":"2026-07-05T05:23:58Z"},{"alias_kind":"pith_short_12","alias_value":"TME25OL4KJY2","created_at":"2026-07-05T05:23:58Z"},{"alias_kind":"pith_short_16","alias_value":"TME25OL4KJY2TZ6J","created_at":"2026-07-05T05:23:58Z"},{"alias_kind":"pith_short_8","alias_value":"TME25OL4","created_at":"2026-07-05T05:23:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:TME25OL4KJY2TZ6JF57ULL6ZGW","target":"record","payload":{"canonical_record":{"source":{"id":"2206.03865","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-06-04T22:01:05Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"af3224ebc4d31f9a73dc12100d76bdf90831ba65691ffb8236af5028087a8975","abstract_canon_sha256":"72c089c18bb8cd908ab931360f986525375ea3f5a51522974efb9b482df1cc7d"},"schema_version":"1.0"},"canonical_sha256":"9b09aeb97c5271a9e7c92f7f45afd9359d8ac78b54ffe2afbca869ba1e704f1d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:23:58.148699Z","signature_b64":"V/FD9AYmoW3Tr/Kup1rYPrO2JHoTbjKC7UhO0SoldKwkgESCdux46iJ+gX7yvwPqPfMiHrs5BY18pmHfJ7q6Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9b09aeb97c5271a9e7c92f7f45afd9359d8ac78b54ffe2afbca869ba1e704f1d","last_reissued_at":"2026-07-05T05:23:58.148198Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:23:58.148198Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2206.03865","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-05T05:23:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PH8kaUhbFRX8DTIdHogtZXRrojPvmpgaC0mfnQd9zse9ckfJcsDoqNobFyrbbRbxrolUigYkK5ASGsljNzkVCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:55:54.220402Z"},"content_sha256":"d20b05d4f51005375c00ea435cad1f38cc416fd9de377353c33a87da666aa7cc","schema_version":"1.0","event_id":"sha256:d20b05d4f51005375c00ea435cad1f38cc416fd9de377353c33a87da666aa7cc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:TME25OL4KJY2TZ6JF57ULL6ZGW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fault-Aware Neural Code Rankers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.PL","authors_text":"Andres Codas, Chenglong Wang, Jeevana Priya Inala, Jianfeng Gao, Madanlal Musuvathi, Mark Encarnaci\\'on, Mei Yang, Shuvendu K Lahiri","submitted_at":"2022-06-04T22:01:05Z","abstract_excerpt":"Large language models (LLMs) have demonstrated an impressive ability to generate code for various programming tasks. In many instances, LLMs can generate a correct program for a task when given numerous trials. Consequently, a recent trend is to do large scale sampling of programs using a model and then filtering/ranking the programs based on the program execution on a small number of known unit tests to select one candidate solution. However, these approaches assume that the unit tests are given and assume the ability to safely execute the generated programs (which can do arbitrary dangerous "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.03865","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/2206.03865/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-05T05:23:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KDSQMIRoocp6EFmxxU+y5X5WB96NbZEC5//5+coiAPOpLFLOl8bO+peURpJygULbb21ORFUm1kWJX5vCxqPuDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:55:54.221734Z"},"content_sha256":"2351b9f55b8f03d69ef888fc6fd3d7409700cef4724f2a9c8775178b1c9a45c8","schema_version":"1.0","event_id":"sha256:2351b9f55b8f03d69ef888fc6fd3d7409700cef4724f2a9c8775178b1c9a45c8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TME25OL4KJY2TZ6JF57ULL6ZGW/bundle.json","state_url":"https://pith.science/pith/TME25OL4KJY2TZ6JF57ULL6ZGW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TME25OL4KJY2TZ6JF57ULL6ZGW/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-03T15:55:54Z","links":{"resolver":"https://pith.science/pith/TME25OL4KJY2TZ6JF57ULL6ZGW","bundle":"https://pith.science/pith/TME25OL4KJY2TZ6JF57ULL6ZGW/bundle.json","state":"https://pith.science/pith/TME25OL4KJY2TZ6JF57ULL6ZGW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TME25OL4KJY2TZ6JF57ULL6ZGW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:TME25OL4KJY2TZ6JF57ULL6ZGW","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":"72c089c18bb8cd908ab931360f986525375ea3f5a51522974efb9b482df1cc7d","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-06-04T22:01:05Z","title_canon_sha256":"af3224ebc4d31f9a73dc12100d76bdf90831ba65691ffb8236af5028087a8975"},"schema_version":"1.0","source":{"id":"2206.03865","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.03865","created_at":"2026-07-05T05:23:58Z"},{"alias_kind":"arxiv_version","alias_value":"2206.03865v2","created_at":"2026-07-05T05:23:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.03865","created_at":"2026-07-05T05:23:58Z"},{"alias_kind":"pith_short_12","alias_value":"TME25OL4KJY2","created_at":"2026-07-05T05:23:58Z"},{"alias_kind":"pith_short_16","alias_value":"TME25OL4KJY2TZ6J","created_at":"2026-07-05T05:23:58Z"},{"alias_kind":"pith_short_8","alias_value":"TME25OL4","created_at":"2026-07-05T05:23:58Z"}],"graph_snapshots":[{"event_id":"sha256:2351b9f55b8f03d69ef888fc6fd3d7409700cef4724f2a9c8775178b1c9a45c8","target":"graph","created_at":"2026-07-05T05:23: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/2206.03865/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) have demonstrated an impressive ability to generate code for various programming tasks. In many instances, LLMs can generate a correct program for a task when given numerous trials. Consequently, a recent trend is to do large scale sampling of programs using a model and then filtering/ranking the programs based on the program execution on a small number of known unit tests to select one candidate solution. However, these approaches assume that the unit tests are given and assume the ability to safely execute the generated programs (which can do arbitrary dangerous ","authors_text":"Andres Codas, Chenglong Wang, Jeevana Priya Inala, Jianfeng Gao, Madanlal Musuvathi, Mark Encarnaci\\'on, Mei Yang, Shuvendu K Lahiri","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-06-04T22:01:05Z","title":"Fault-Aware Neural Code Rankers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.03865","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:d20b05d4f51005375c00ea435cad1f38cc416fd9de377353c33a87da666aa7cc","target":"record","created_at":"2026-07-05T05:23: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":"72c089c18bb8cd908ab931360f986525375ea3f5a51522974efb9b482df1cc7d","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-06-04T22:01:05Z","title_canon_sha256":"af3224ebc4d31f9a73dc12100d76bdf90831ba65691ffb8236af5028087a8975"},"schema_version":"1.0","source":{"id":"2206.03865","kind":"arxiv","version":2}},"canonical_sha256":"9b09aeb97c5271a9e7c92f7f45afd9359d8ac78b54ffe2afbca869ba1e704f1d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9b09aeb97c5271a9e7c92f7f45afd9359d8ac78b54ffe2afbca869ba1e704f1d","first_computed_at":"2026-07-05T05:23:58.148198Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:23:58.148198Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"V/FD9AYmoW3Tr/Kup1rYPrO2JHoTbjKC7UhO0SoldKwkgESCdux46iJ+gX7yvwPqPfMiHrs5BY18pmHfJ7q6Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T05:23:58.148699Z","signed_message":"canonical_sha256_bytes"},"source_id":"2206.03865","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d20b05d4f51005375c00ea435cad1f38cc416fd9de377353c33a87da666aa7cc","sha256:2351b9f55b8f03d69ef888fc6fd3d7409700cef4724f2a9c8775178b1c9a45c8"],"state_sha256":"6eeca6f1f047196d0235cf4b59ed6d6989c5d16dceae398e9738f3cfea8a2a19"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TbKgUxGB5Sq8XmSQeMYoansDfAsfODkSbGzMlXAFHpKqqgzrNEjGXPL0aC0lxlQ3ha1IKGapLp5OyW2vk2ihAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T15:55:54.234900Z","bundle_sha256":"abced355bbb584caf3915b56cf3aae93cb6b0d5fe70729431612aad33343fc56"}}