{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:5MV7L4DPU7NM6BBZLNUTDOYBTQ","short_pith_number":"pith:5MV7L4DP","canonical_record":{"source":{"id":"2402.13291","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2024-02-19T18:35:40Z","cross_cats_sorted":["cs.LG","cs.PL","cs.SE"],"title_canon_sha256":"05804c4f039311a42b75f9c66711e42c7f7f3263e9c4f7ca69f2d029a45cf130","abstract_canon_sha256":"6bee966bbc197b9f91fbe6f3904e2ac42aec0101fb23d7fd36787ed5241e6eb4"},"schema_version":"1.0"},"canonical_sha256":"eb2bf5f06fa7dacf04395b6931bb019c0346a1e5e5781ebcf991fd56996d3c1b","source":{"kind":"arxiv","id":"2402.13291","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.13291","created_at":"2026-07-05T07:48:35Z"},{"alias_kind":"arxiv_version","alias_value":"2402.13291v2","created_at":"2026-07-05T07:48:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.13291","created_at":"2026-07-05T07:48:35Z"},{"alias_kind":"pith_short_12","alias_value":"5MV7L4DPU7NM","created_at":"2026-07-05T07:48:35Z"},{"alias_kind":"pith_short_16","alias_value":"5MV7L4DPU7NM6BBZ","created_at":"2026-07-05T07:48:35Z"},{"alias_kind":"pith_short_8","alias_value":"5MV7L4DP","created_at":"2026-07-05T07:48:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:5MV7L4DPU7NM6BBZLNUTDOYBTQ","target":"record","payload":{"canonical_record":{"source":{"id":"2402.13291","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2024-02-19T18:35:40Z","cross_cats_sorted":["cs.LG","cs.PL","cs.SE"],"title_canon_sha256":"05804c4f039311a42b75f9c66711e42c7f7f3263e9c4f7ca69f2d029a45cf130","abstract_canon_sha256":"6bee966bbc197b9f91fbe6f3904e2ac42aec0101fb23d7fd36787ed5241e6eb4"},"schema_version":"1.0"},"canonical_sha256":"eb2bf5f06fa7dacf04395b6931bb019c0346a1e5e5781ebcf991fd56996d3c1b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:48:35.133859Z","signature_b64":"7VyHYt6SABNZOSrIVACa12slKxf2skVGkddZZzo/ANjsMEFiOvpmVl48X3ta+K7dVIBULSkXDqWd4QX6kchLDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eb2bf5f06fa7dacf04395b6931bb019c0346a1e5e5781ebcf991fd56996d3c1b","last_reissued_at":"2026-07-05T07:48:35.133447Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:48:35.133447Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.13291","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-05T07:48:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0NK6Qd2yLeltq6c6HJ7N+Qpiqw4HlIeNCvJhe4Fgk3SWbtkg9+xAiNnYaNn3abeUzLJkDswVHnDPn/cr/bgJBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T19:01:15.414143Z"},"content_sha256":"cbdbc8dab4c1e44ca6111230d854912b01461f5fac31e5b071b77a0b0ffcd7df","schema_version":"1.0","event_id":"sha256:cbdbc8dab4c1e44ca6111230d854912b01461f5fac31e5b071b77a0b0ffcd7df"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:5MV7L4DPU7NM6BBZLNUTDOYBTQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.LG","cs.PL","cs.SE"],"primary_cat":"cs.CR","authors_text":"Alexey Gronskiy, Berkay Berabi, Gishor Sivanrupan, Martin Vechev, Veselin Raychev, Victor Chibotaru","submitted_at":"2024-02-19T18:35:40Z","abstract_excerpt":"The automated program repair field has attracted substantial interest over the years, but despite significant research efforts, creating a system that works well for complex semantic bugs such as security vulnerabilities has proven difficult. A promising direction to solve this challenge is by leveraging large language models (LLMs), which are increasingly used to solve various programming tasks. In this paper, we investigate the effectiveness of LLMs for solving code-repair task. We show that the task is difficult as it requires the model to learn long-range code relationships, a task that in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.13291","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/2402.13291/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-05T07:48:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XTGdJTI/glRuHgKEtK8RINEqfpIDD18l1hM7Amg3eWKI1BB0JqYUptMImMZA7fdJVUj2ZIBDgUWdaMnXN4t/AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T19:01:15.415667Z"},"content_sha256":"176176fc44fcb4dafc371761cb6077cd2be3c5889527f99954bc1c0234947563","schema_version":"1.0","event_id":"sha256:176176fc44fcb4dafc371761cb6077cd2be3c5889527f99954bc1c0234947563"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5MV7L4DPU7NM6BBZLNUTDOYBTQ/bundle.json","state_url":"https://pith.science/pith/5MV7L4DPU7NM6BBZLNUTDOYBTQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5MV7L4DPU7NM6BBZLNUTDOYBTQ/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-06T19:01:15Z","links":{"resolver":"https://pith.science/pith/5MV7L4DPU7NM6BBZLNUTDOYBTQ","bundle":"https://pith.science/pith/5MV7L4DPU7NM6BBZLNUTDOYBTQ/bundle.json","state":"https://pith.science/pith/5MV7L4DPU7NM6BBZLNUTDOYBTQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5MV7L4DPU7NM6BBZLNUTDOYBTQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:5MV7L4DPU7NM6BBZLNUTDOYBTQ","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":"6bee966bbc197b9f91fbe6f3904e2ac42aec0101fb23d7fd36787ed5241e6eb4","cross_cats_sorted":["cs.LG","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2024-02-19T18:35:40Z","title_canon_sha256":"05804c4f039311a42b75f9c66711e42c7f7f3263e9c4f7ca69f2d029a45cf130"},"schema_version":"1.0","source":{"id":"2402.13291","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.13291","created_at":"2026-07-05T07:48:35Z"},{"alias_kind":"arxiv_version","alias_value":"2402.13291v2","created_at":"2026-07-05T07:48:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.13291","created_at":"2026-07-05T07:48:35Z"},{"alias_kind":"pith_short_12","alias_value":"5MV7L4DPU7NM","created_at":"2026-07-05T07:48:35Z"},{"alias_kind":"pith_short_16","alias_value":"5MV7L4DPU7NM6BBZ","created_at":"2026-07-05T07:48:35Z"},{"alias_kind":"pith_short_8","alias_value":"5MV7L4DP","created_at":"2026-07-05T07:48:35Z"}],"graph_snapshots":[{"event_id":"sha256:176176fc44fcb4dafc371761cb6077cd2be3c5889527f99954bc1c0234947563","target":"graph","created_at":"2026-07-05T07:48: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/2402.13291/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The automated program repair field has attracted substantial interest over the years, but despite significant research efforts, creating a system that works well for complex semantic bugs such as security vulnerabilities has proven difficult. A promising direction to solve this challenge is by leveraging large language models (LLMs), which are increasingly used to solve various programming tasks. In this paper, we investigate the effectiveness of LLMs for solving code-repair task. We show that the task is difficult as it requires the model to learn long-range code relationships, a task that in","authors_text":"Alexey Gronskiy, Berkay Berabi, Gishor Sivanrupan, Martin Vechev, Veselin Raychev, Victor Chibotaru","cross_cats":["cs.LG","cs.PL","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2024-02-19T18:35:40Z","title":"DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.13291","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:cbdbc8dab4c1e44ca6111230d854912b01461f5fac31e5b071b77a0b0ffcd7df","target":"record","created_at":"2026-07-05T07:48: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":"6bee966bbc197b9f91fbe6f3904e2ac42aec0101fb23d7fd36787ed5241e6eb4","cross_cats_sorted":["cs.LG","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2024-02-19T18:35:40Z","title_canon_sha256":"05804c4f039311a42b75f9c66711e42c7f7f3263e9c4f7ca69f2d029a45cf130"},"schema_version":"1.0","source":{"id":"2402.13291","kind":"arxiv","version":2}},"canonical_sha256":"eb2bf5f06fa7dacf04395b6931bb019c0346a1e5e5781ebcf991fd56996d3c1b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"eb2bf5f06fa7dacf04395b6931bb019c0346a1e5e5781ebcf991fd56996d3c1b","first_computed_at":"2026-07-05T07:48:35.133447Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:48:35.133447Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7VyHYt6SABNZOSrIVACa12slKxf2skVGkddZZzo/ANjsMEFiOvpmVl48X3ta+K7dVIBULSkXDqWd4QX6kchLDA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:48:35.133859Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.13291","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cbdbc8dab4c1e44ca6111230d854912b01461f5fac31e5b071b77a0b0ffcd7df","sha256:176176fc44fcb4dafc371761cb6077cd2be3c5889527f99954bc1c0234947563"],"state_sha256":"df8dbc27d0ff88e551b6128e781f723b3118186fe2746707f38be524e36f4990"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WmrOWZ+DDxfVttdDDiJpcATQ3/RmMwOTHVMtRx/ZyVXIcJQeF0YRQt0miipKxmmH1DlUy6DT/crtgcj1Gs1sBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T19:01:15.430128Z","bundle_sha256":"49b78adbf1caaabfd6e0cb4a2a53365a7f2aa2b8d079e12eb7031db12866b973"}}