{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:OGTA5ANQPZZKAGDJWZQCLKCB2N","short_pith_number":"pith:OGTA5ANQ","canonical_record":{"source":{"id":"2403.16750","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-03-25T13:23:24Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"ca61efed42291b0b0b7dd6af36340a513b9f881f0e10bda48991932af41c2962","abstract_canon_sha256":"224f8fefb1ed673e449776d64a74ba884801ea9ca4ca6fc0b26b4dda3dd16e74"},"schema_version":"1.0"},"canonical_sha256":"71a60e81b07e72a01869b66025a841d35803a3100a3643002ca02b258ec76b36","source":{"kind":"arxiv","id":"2403.16750","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.16750","created_at":"2026-07-05T09:02:17Z"},{"alias_kind":"arxiv_version","alias_value":"2403.16750v1","created_at":"2026-07-05T09:02:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.16750","created_at":"2026-07-05T09:02:17Z"},{"alias_kind":"pith_short_12","alias_value":"OGTA5ANQPZZK","created_at":"2026-07-05T09:02:17Z"},{"alias_kind":"pith_short_16","alias_value":"OGTA5ANQPZZKAGDJ","created_at":"2026-07-05T09:02:17Z"},{"alias_kind":"pith_short_8","alias_value":"OGTA5ANQ","created_at":"2026-07-05T09:02:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:OGTA5ANQPZZKAGDJWZQCLKCB2N","target":"record","payload":{"canonical_record":{"source":{"id":"2403.16750","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-03-25T13:23:24Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"ca61efed42291b0b0b7dd6af36340a513b9f881f0e10bda48991932af41c2962","abstract_canon_sha256":"224f8fefb1ed673e449776d64a74ba884801ea9ca4ca6fc0b26b4dda3dd16e74"},"schema_version":"1.0"},"canonical_sha256":"71a60e81b07e72a01869b66025a841d35803a3100a3643002ca02b258ec76b36","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:02:17.616095Z","signature_b64":"3eEB9SG4bgBJyqiSDN2HGA4OJiRbRQeMKNY0dEG/dj43ndqmmhhLBQuaMVKVX7jaAHGNG0T8XV1xVYjYHd8iDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"71a60e81b07e72a01869b66025a841d35803a3100a3643002ca02b258ec76b36","last_reissued_at":"2026-07-05T09:02:17.615519Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:02:17.615519Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.16750","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-07-05T09:02:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UhdgSWfGKNVbqn++jE34tQMTTfE06agp8pMcbNYF0EHG/pBtekRszM0yZXV4ePfyZLfN9CwurSE2uudfZSpFAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T15:43:37.625294Z"},"content_sha256":"d7a3782d1ece563551fc265488cffa904b49f41bb7897dd6e04ce87358af745f","schema_version":"1.0","event_id":"sha256:d7a3782d1ece563551fc265488cffa904b49f41bb7897dd6e04ce87358af745f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:OGTA5ANQPZZKAGDJWZQCLKCB2N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AR"],"primary_cat":"cs.AI","authors_text":"Aman Kumar, Deepak Narayan Gadde, Evgenii Rezunov, Fabio Cappellini, Thomas Nalapat","submitted_at":"2024-03-25T13:23:24Z","abstract_excerpt":"Modern hardware designs have grown increasingly efficient and complex. However, they are often susceptible to Common Weakness Enumerations (CWEs). This paper is focused on the formal verification of CWEs in a dataset of hardware designs written in SystemVerilog from Regenerative Artificial Intelligence (AI) powered by Large Language Models (LLMs). We applied formal verification to categorize each hardware design as vulnerable or CWE-free. This dataset was generated by 4 different LLMs and features a unique set of designs for each of the 10 CWEs we target in our paper. We have associated the id"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.16750","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/2403.16750/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-05T09:02:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qe00ih/6FXD/gbULp6AlffCSpJDaF4TNjDpZteqNkjGWklQrTlV1LIBKRTQOEF8SMI6El7FJmS7bmxI2/jpRDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T15:43:37.626199Z"},"content_sha256":"c18e9e6f3d9f8b2c4f0aabd7132444aa44767e7f84cb7855f4590a92053d4a55","schema_version":"1.0","event_id":"sha256:c18e9e6f3d9f8b2c4f0aabd7132444aa44767e7f84cb7855f4590a92053d4a55"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OGTA5ANQPZZKAGDJWZQCLKCB2N/bundle.json","state_url":"https://pith.science/pith/OGTA5ANQPZZKAGDJWZQCLKCB2N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OGTA5ANQPZZKAGDJWZQCLKCB2N/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-09T15:43:37Z","links":{"resolver":"https://pith.science/pith/OGTA5ANQPZZKAGDJWZQCLKCB2N","bundle":"https://pith.science/pith/OGTA5ANQPZZKAGDJWZQCLKCB2N/bundle.json","state":"https://pith.science/pith/OGTA5ANQPZZKAGDJWZQCLKCB2N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OGTA5ANQPZZKAGDJWZQCLKCB2N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:OGTA5ANQPZZKAGDJWZQCLKCB2N","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":"224f8fefb1ed673e449776d64a74ba884801ea9ca4ca6fc0b26b4dda3dd16e74","cross_cats_sorted":["cs.AR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-03-25T13:23:24Z","title_canon_sha256":"ca61efed42291b0b0b7dd6af36340a513b9f881f0e10bda48991932af41c2962"},"schema_version":"1.0","source":{"id":"2403.16750","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.16750","created_at":"2026-07-05T09:02:17Z"},{"alias_kind":"arxiv_version","alias_value":"2403.16750v1","created_at":"2026-07-05T09:02:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.16750","created_at":"2026-07-05T09:02:17Z"},{"alias_kind":"pith_short_12","alias_value":"OGTA5ANQPZZK","created_at":"2026-07-05T09:02:17Z"},{"alias_kind":"pith_short_16","alias_value":"OGTA5ANQPZZKAGDJ","created_at":"2026-07-05T09:02:17Z"},{"alias_kind":"pith_short_8","alias_value":"OGTA5ANQ","created_at":"2026-07-05T09:02:17Z"}],"graph_snapshots":[{"event_id":"sha256:c18e9e6f3d9f8b2c4f0aabd7132444aa44767e7f84cb7855f4590a92053d4a55","target":"graph","created_at":"2026-07-05T09:02:17Z","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/2403.16750/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modern hardware designs have grown increasingly efficient and complex. However, they are often susceptible to Common Weakness Enumerations (CWEs). This paper is focused on the formal verification of CWEs in a dataset of hardware designs written in SystemVerilog from Regenerative Artificial Intelligence (AI) powered by Large Language Models (LLMs). We applied formal verification to categorize each hardware design as vulnerable or CWE-free. This dataset was generated by 4 different LLMs and features a unique set of designs for each of the 10 CWEs we target in our paper. We have associated the id","authors_text":"Aman Kumar, Deepak Narayan Gadde, Evgenii Rezunov, Fabio Cappellini, Thomas Nalapat","cross_cats":["cs.AR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-03-25T13:23:24Z","title":"All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.16750","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:d7a3782d1ece563551fc265488cffa904b49f41bb7897dd6e04ce87358af745f","target":"record","created_at":"2026-07-05T09:02:17Z","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":"224f8fefb1ed673e449776d64a74ba884801ea9ca4ca6fc0b26b4dda3dd16e74","cross_cats_sorted":["cs.AR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-03-25T13:23:24Z","title_canon_sha256":"ca61efed42291b0b0b7dd6af36340a513b9f881f0e10bda48991932af41c2962"},"schema_version":"1.0","source":{"id":"2403.16750","kind":"arxiv","version":1}},"canonical_sha256":"71a60e81b07e72a01869b66025a841d35803a3100a3643002ca02b258ec76b36","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"71a60e81b07e72a01869b66025a841d35803a3100a3643002ca02b258ec76b36","first_computed_at":"2026-07-05T09:02:17.615519Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:02:17.615519Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3eEB9SG4bgBJyqiSDN2HGA4OJiRbRQeMKNY0dEG/dj43ndqmmhhLBQuaMVKVX7jaAHGNG0T8XV1xVYjYHd8iDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:02:17.616095Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.16750","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d7a3782d1ece563551fc265488cffa904b49f41bb7897dd6e04ce87358af745f","sha256:c18e9e6f3d9f8b2c4f0aabd7132444aa44767e7f84cb7855f4590a92053d4a55"],"state_sha256":"7f1a648c2b9685c37d690ec82d39349cabbb155826a7b82b36d5377477fbf010"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gMWFpwxMOI6x9WIJ6fD0ef5/YwHww25nlciGP/KjDiibcJI/FtHZfO0IuRrLsZXCoeXqydVU1fsq4ans95aJBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T15:43:37.632178Z","bundle_sha256":"569e4f7d73da943bfbfdd2f460dfdb8a14f8971b297f52d5de468af1c266da50"}}