{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:FM2TKJ26DND6XHS3OTBWD52A7O","short_pith_number":"pith:FM2TKJ26","canonical_record":{"source":{"id":"2307.02192","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2023-07-05T10:39:58Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c09f8afda558631fe1bd4793100cc2219b943d9a17f60428951b61ee13dc6594","abstract_canon_sha256":"1076e34e1c5d2de0c03e10780b8fcb7a7ef2998cac49e57beab80d5d9288e4fa"},"schema_version":"1.0"},"canonical_sha256":"2b3535275e1b47eb9e5b74c361f740fb941b2ad1b13e109656ce3eee2abd9036","source":{"kind":"arxiv","id":"2307.02192","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.02192","created_at":"2026-07-05T08:01:31Z"},{"alias_kind":"arxiv_version","alias_value":"2307.02192v3","created_at":"2026-07-05T08:01:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.02192","created_at":"2026-07-05T08:01:31Z"},{"alias_kind":"pith_short_12","alias_value":"FM2TKJ26DND6","created_at":"2026-07-05T08:01:31Z"},{"alias_kind":"pith_short_16","alias_value":"FM2TKJ26DND6XHS3","created_at":"2026-07-05T08:01:31Z"},{"alias_kind":"pith_short_8","alias_value":"FM2TKJ26","created_at":"2026-07-05T08:01:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:FM2TKJ26DND6XHS3OTBWD52A7O","target":"record","payload":{"canonical_record":{"source":{"id":"2307.02192","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2023-07-05T10:39:58Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c09f8afda558631fe1bd4793100cc2219b943d9a17f60428951b61ee13dc6594","abstract_canon_sha256":"1076e34e1c5d2de0c03e10780b8fcb7a7ef2998cac49e57beab80d5d9288e4fa"},"schema_version":"1.0"},"canonical_sha256":"2b3535275e1b47eb9e5b74c361f740fb941b2ad1b13e109656ce3eee2abd9036","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:01:31.247851Z","signature_b64":"FKr23lIeHV2Gnc1mZmySEj2srhSkibpQy05S3Xke8zulsNYogjn6Dg/ug8ok1REf4LQmF/t/wBSp6R3O/IPTBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2b3535275e1b47eb9e5b74c361f740fb941b2ad1b13e109656ce3eee2abd9036","last_reissued_at":"2026-07-05T08:01:31.247384Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:01:31.247384Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2307.02192","source_version":3,"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:01:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oiI0qn1UyXUbnMSRUcKvf2GMI02wrbR8BCukzZRUyfAWM+nPUkN6U545C5TD5jYNC6hBJDwTuoyz8mSX+Gd8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-21T06:15:48.847621Z"},"content_sha256":"0b190a25857a16f7dbd6505db7fdeae28f8304f7068ededa1c6850433a14f4ab","schema_version":"1.0","event_id":"sha256:0b190a25857a16f7dbd6505db7fdeae28f8304f7068ededa1c6850433a14f4ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:FM2TKJ26DND6XHS3OTBWD52A7O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.DB","authors_text":"Lucas C. Cordeiro, Mohamed Amine Ferrag, Norbert Tihanyi, Ridhi Jain, Tamas Bisztray, Vasileios Mavroeidis","submitted_at":"2023-07-05T10:39:58Z","abstract_excerpt":"This paper presents the FormAI dataset, a large collection of 112, 000 AI-generated compilable and independent C programs with vulnerability classification. We introduce a dynamic zero-shot prompting technique constructed to spawn diverse programs utilizing Large Language Models (LLMs). The dataset is generated by GPT-3.5-turbo and comprises programs with varying levels of complexity. Some programs handle complicated tasks like network management, table games, or encryption, while others deal with simpler tasks like string manipulation. Every program is labeled with the vulnerabilities found w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.02192","kind":"arxiv","version":3},"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/2307.02192/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:01:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FFpc9o7AeBHI1DN2HaTAYWJgxjXkfJOmgfv9RSnW/lqGcsGDYcjeOCTox0YzjkoDXmkpui/nzkxnlUXleptIDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-21T06:15:48.847986Z"},"content_sha256":"b084cd898e7a89abe9d321fd151359fd42a1b9048ebe0e04797552ad255e857b","schema_version":"1.0","event_id":"sha256:b084cd898e7a89abe9d321fd151359fd42a1b9048ebe0e04797552ad255e857b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FM2TKJ26DND6XHS3OTBWD52A7O/bundle.json","state_url":"https://pith.science/pith/FM2TKJ26DND6XHS3OTBWD52A7O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FM2TKJ26DND6XHS3OTBWD52A7O/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-07-21T06:15:48Z","links":{"resolver":"https://pith.science/pith/FM2TKJ26DND6XHS3OTBWD52A7O","bundle":"https://pith.science/pith/FM2TKJ26DND6XHS3OTBWD52A7O/bundle.json","state":"https://pith.science/pith/FM2TKJ26DND6XHS3OTBWD52A7O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FM2TKJ26DND6XHS3OTBWD52A7O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:FM2TKJ26DND6XHS3OTBWD52A7O","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":"1076e34e1c5d2de0c03e10780b8fcb7a7ef2998cac49e57beab80d5d9288e4fa","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2023-07-05T10:39:58Z","title_canon_sha256":"c09f8afda558631fe1bd4793100cc2219b943d9a17f60428951b61ee13dc6594"},"schema_version":"1.0","source":{"id":"2307.02192","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.02192","created_at":"2026-07-05T08:01:31Z"},{"alias_kind":"arxiv_version","alias_value":"2307.02192v3","created_at":"2026-07-05T08:01:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.02192","created_at":"2026-07-05T08:01:31Z"},{"alias_kind":"pith_short_12","alias_value":"FM2TKJ26DND6","created_at":"2026-07-05T08:01:31Z"},{"alias_kind":"pith_short_16","alias_value":"FM2TKJ26DND6XHS3","created_at":"2026-07-05T08:01:31Z"},{"alias_kind":"pith_short_8","alias_value":"FM2TKJ26","created_at":"2026-07-05T08:01:31Z"}],"graph_snapshots":[{"event_id":"sha256:b084cd898e7a89abe9d321fd151359fd42a1b9048ebe0e04797552ad255e857b","target":"graph","created_at":"2026-07-05T08:01:31Z","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/2307.02192/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents the FormAI dataset, a large collection of 112, 000 AI-generated compilable and independent C programs with vulnerability classification. We introduce a dynamic zero-shot prompting technique constructed to spawn diverse programs utilizing Large Language Models (LLMs). The dataset is generated by GPT-3.5-turbo and comprises programs with varying levels of complexity. Some programs handle complicated tasks like network management, table games, or encryption, while others deal with simpler tasks like string manipulation. Every program is labeled with the vulnerabilities found w","authors_text":"Lucas C. Cordeiro, Mohamed Amine Ferrag, Norbert Tihanyi, Ridhi Jain, Tamas Bisztray, Vasileios Mavroeidis","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2023-07-05T10:39:58Z","title":"The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.02192","kind":"arxiv","version":3},"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:0b190a25857a16f7dbd6505db7fdeae28f8304f7068ededa1c6850433a14f4ab","target":"record","created_at":"2026-07-05T08:01:31Z","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":"1076e34e1c5d2de0c03e10780b8fcb7a7ef2998cac49e57beab80d5d9288e4fa","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2023-07-05T10:39:58Z","title_canon_sha256":"c09f8afda558631fe1bd4793100cc2219b943d9a17f60428951b61ee13dc6594"},"schema_version":"1.0","source":{"id":"2307.02192","kind":"arxiv","version":3}},"canonical_sha256":"2b3535275e1b47eb9e5b74c361f740fb941b2ad1b13e109656ce3eee2abd9036","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2b3535275e1b47eb9e5b74c361f740fb941b2ad1b13e109656ce3eee2abd9036","first_computed_at":"2026-07-05T08:01:31.247384Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:01:31.247384Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FKr23lIeHV2Gnc1mZmySEj2srhSkibpQy05S3Xke8zulsNYogjn6Dg/ug8ok1REf4LQmF/t/wBSp6R3O/IPTBw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:01:31.247851Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.02192","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0b190a25857a16f7dbd6505db7fdeae28f8304f7068ededa1c6850433a14f4ab","sha256:b084cd898e7a89abe9d321fd151359fd42a1b9048ebe0e04797552ad255e857b"],"state_sha256":"be36775c7917c56096df1fc0c97adb1ef9bf68583c456ec6d63bfc82c30e8acb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y4osdz70G0zFqr0Vzgm5L/2NK2DY0b3TKHx3sw6xzRL3ZjeLcn/X8/YRlN7/gPJfiEch6+wUHgg3hq7DD4mxDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-21T06:15:48.850100Z","bundle_sha256":"165119d2b762ed8b9be3cdcf50996a20360e22521c6634d9685f91704a47cf0b"}}