{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:PEWVVGBQQNMA6YBZVM4W7AMLQY","short_pith_number":"pith:PEWVVGBQ","canonical_record":{"source":{"id":"2302.05319","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-02-10T15:28:55Z","cross_cats_sorted":["cs.LG","cs.PL","cs.SE"],"title_canon_sha256":"98533d9de0a68dccb3a2324396dd4d4a7747da762411586c8b425597781b2bb9","abstract_canon_sha256":"eb0d0b19702681186ed74d67f077bb040d316486c2242a80f4de06af71a26930"},"schema_version":"1.0"},"canonical_sha256":"792d5a983083580f6039ab396f818b8606f2508b727a724d055c2f8b29248641","source":{"kind":"arxiv","id":"2302.05319","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.05319","created_at":"2026-07-05T08:55:47Z"},{"alias_kind":"arxiv_version","alias_value":"2302.05319v5","created_at":"2026-07-05T08:55:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.05319","created_at":"2026-07-05T08:55:47Z"},{"alias_kind":"pith_short_12","alias_value":"PEWVVGBQQNMA","created_at":"2026-07-05T08:55:47Z"},{"alias_kind":"pith_short_16","alias_value":"PEWVVGBQQNMA6YBZ","created_at":"2026-07-05T08:55:47Z"},{"alias_kind":"pith_short_8","alias_value":"PEWVVGBQ","created_at":"2026-07-05T08:55:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:PEWVVGBQQNMA6YBZVM4W7AMLQY","target":"record","payload":{"canonical_record":{"source":{"id":"2302.05319","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-02-10T15:28:55Z","cross_cats_sorted":["cs.LG","cs.PL","cs.SE"],"title_canon_sha256":"98533d9de0a68dccb3a2324396dd4d4a7747da762411586c8b425597781b2bb9","abstract_canon_sha256":"eb0d0b19702681186ed74d67f077bb040d316486c2242a80f4de06af71a26930"},"schema_version":"1.0"},"canonical_sha256":"792d5a983083580f6039ab396f818b8606f2508b727a724d055c2f8b29248641","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:55:47.935168Z","signature_b64":"7FtHwcwrO0xdOo7Wq2cRdd7zuN0wgPGCLCD945hiCyagmDWBq048xJ/leAT1DP8KEqP06Kr9RqgToyNDQT3TBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"792d5a983083580f6039ab396f818b8606f2508b727a724d055c2f8b29248641","last_reissued_at":"2026-07-05T08:55:47.934767Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:55:47.934767Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2302.05319","source_version":5,"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-05T08:55:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"15jMgctaBl1I7OMR6tt1Aa6h6cGiU39gnFhT4847pUnqcnHuCKRiFYWhShRWCUzmS1WknZTsyrOdKLVbdpD5Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T06:20:27.324726Z"},"content_sha256":"38d8ae2ce7b03945a36ad398b921e02d4da091eaf1c6a3f65d76304ab485d847","schema_version":"1.0","event_id":"sha256:38d8ae2ce7b03945a36ad398b921e02d4da091eaf1c6a3f65d76304ab485d847"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:PEWVVGBQQNMA6YBZVM4W7AMLQY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Large Language Models for Code: Security Hardening and Adversarial Testing","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.PL","cs.SE"],"primary_cat":"cs.CR","authors_text":"Jingxuan He, Martin Vechev","submitted_at":"2023-02-10T15:28:55Z","abstract_excerpt":"Large language models (large LMs) are increasingly trained on massive codebases and used to generate code. However, LMs lack awareness of security and are found to frequently produce unsafe code. This work studies the security of LMs along two important axes: (i) security hardening, which aims to enhance LMs' reliability in generating secure code, and (ii) adversarial testing, which seeks to evaluate LMs' security at an adversarial standpoint. We address both of these by formulating a new security task called controlled code generation. The task is parametric and takes as input a binary proper"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.05319","kind":"arxiv","version":5},"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/2302.05319/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-05T08:55:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"66GyoL0+aW2H8C77gwJg5BhqVzd3gcUltDrYKsfDVBOqYGjE7acA/VnWwIo1uPcEIFi+bvDZ/spXeTgIX90mDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T06:20:27.325690Z"},"content_sha256":"6696a43bfc88f125b0d0ebb0fbc877a3afedfd1ef347b0c2fc5e89e2c02cebb3","schema_version":"1.0","event_id":"sha256:6696a43bfc88f125b0d0ebb0fbc877a3afedfd1ef347b0c2fc5e89e2c02cebb3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PEWVVGBQQNMA6YBZVM4W7AMLQY/bundle.json","state_url":"https://pith.science/pith/PEWVVGBQQNMA6YBZVM4W7AMLQY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PEWVVGBQQNMA6YBZVM4W7AMLQY/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-10T06:20:27Z","links":{"resolver":"https://pith.science/pith/PEWVVGBQQNMA6YBZVM4W7AMLQY","bundle":"https://pith.science/pith/PEWVVGBQQNMA6YBZVM4W7AMLQY/bundle.json","state":"https://pith.science/pith/PEWVVGBQQNMA6YBZVM4W7AMLQY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PEWVVGBQQNMA6YBZVM4W7AMLQY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:PEWVVGBQQNMA6YBZVM4W7AMLQY","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":"eb0d0b19702681186ed74d67f077bb040d316486c2242a80f4de06af71a26930","cross_cats_sorted":["cs.LG","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-02-10T15:28:55Z","title_canon_sha256":"98533d9de0a68dccb3a2324396dd4d4a7747da762411586c8b425597781b2bb9"},"schema_version":"1.0","source":{"id":"2302.05319","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.05319","created_at":"2026-07-05T08:55:47Z"},{"alias_kind":"arxiv_version","alias_value":"2302.05319v5","created_at":"2026-07-05T08:55:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.05319","created_at":"2026-07-05T08:55:47Z"},{"alias_kind":"pith_short_12","alias_value":"PEWVVGBQQNMA","created_at":"2026-07-05T08:55:47Z"},{"alias_kind":"pith_short_16","alias_value":"PEWVVGBQQNMA6YBZ","created_at":"2026-07-05T08:55:47Z"},{"alias_kind":"pith_short_8","alias_value":"PEWVVGBQ","created_at":"2026-07-05T08:55:47Z"}],"graph_snapshots":[{"event_id":"sha256:6696a43bfc88f125b0d0ebb0fbc877a3afedfd1ef347b0c2fc5e89e2c02cebb3","target":"graph","created_at":"2026-07-05T08:55:47Z","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/2302.05319/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (large LMs) are increasingly trained on massive codebases and used to generate code. However, LMs lack awareness of security and are found to frequently produce unsafe code. This work studies the security of LMs along two important axes: (i) security hardening, which aims to enhance LMs' reliability in generating secure code, and (ii) adversarial testing, which seeks to evaluate LMs' security at an adversarial standpoint. We address both of these by formulating a new security task called controlled code generation. The task is parametric and takes as input a binary proper","authors_text":"Jingxuan He, Martin Vechev","cross_cats":["cs.LG","cs.PL","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-02-10T15:28:55Z","title":"Large Language Models for Code: Security Hardening and Adversarial Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.05319","kind":"arxiv","version":5},"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:38d8ae2ce7b03945a36ad398b921e02d4da091eaf1c6a3f65d76304ab485d847","target":"record","created_at":"2026-07-05T08:55:47Z","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":"eb0d0b19702681186ed74d67f077bb040d316486c2242a80f4de06af71a26930","cross_cats_sorted":["cs.LG","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-02-10T15:28:55Z","title_canon_sha256":"98533d9de0a68dccb3a2324396dd4d4a7747da762411586c8b425597781b2bb9"},"schema_version":"1.0","source":{"id":"2302.05319","kind":"arxiv","version":5}},"canonical_sha256":"792d5a983083580f6039ab396f818b8606f2508b727a724d055c2f8b29248641","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"792d5a983083580f6039ab396f818b8606f2508b727a724d055c2f8b29248641","first_computed_at":"2026-07-05T08:55:47.934767Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:55:47.934767Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7FtHwcwrO0xdOo7Wq2cRdd7zuN0wgPGCLCD945hiCyagmDWBq048xJ/leAT1DP8KEqP06Kr9RqgToyNDQT3TBw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:55:47.935168Z","signed_message":"canonical_sha256_bytes"},"source_id":"2302.05319","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:38d8ae2ce7b03945a36ad398b921e02d4da091eaf1c6a3f65d76304ab485d847","sha256:6696a43bfc88f125b0d0ebb0fbc877a3afedfd1ef347b0c2fc5e89e2c02cebb3"],"state_sha256":"0dbfd895a519b5c826b05fc480e762e230d5c4d896d2446d3563514d50442910"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sHiAS/OA+gYD1slIV4ml9ypyyWpgLKw/cerFTS3f2c0EioQ2xXMKuY1yaKsoe5/Lb3bICr1D2EKaEM0UhCk/Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T06:20:27.349758Z","bundle_sha256":"79b7777e49ac1b7bed9d9107c9ef239014448746d116346c04df70e79403e703"}}