{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:CZ6M6KXCRYYCKPXSMHVWZAKXVM","short_pith_number":"pith:CZ6M6KXC","canonical_record":{"source":{"id":"2605.27472","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-05-26T10:49:25Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"a3fb573e81e55fd1f497f5f894bd8ff3653c90f33fa5ae5574e6c26fea5f748c","abstract_canon_sha256":"2ece44e6b45fdb46527ef52bda1b0429df23e4e4e88f337372528b655df80f47"},"schema_version":"1.0"},"canonical_sha256":"167ccf2ae28e30253ef261eb6c8157ab0b1462681ed923d429aef81d72880e83","source":{"kind":"arxiv","id":"2605.27472","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.27472","created_at":"2026-05-28T00:05:20Z"},{"alias_kind":"arxiv_version","alias_value":"2605.27472v1","created_at":"2026-05-28T00:05:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.27472","created_at":"2026-05-28T00:05:20Z"},{"alias_kind":"pith_short_12","alias_value":"CZ6M6KXCRYYC","created_at":"2026-05-28T00:05:20Z"},{"alias_kind":"pith_short_16","alias_value":"CZ6M6KXCRYYCKPXS","created_at":"2026-05-28T00:05:20Z"},{"alias_kind":"pith_short_8","alias_value":"CZ6M6KXC","created_at":"2026-05-28T00:05:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:CZ6M6KXCRYYCKPXSMHVWZAKXVM","target":"record","payload":{"canonical_record":{"source":{"id":"2605.27472","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-05-26T10:49:25Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"a3fb573e81e55fd1f497f5f894bd8ff3653c90f33fa5ae5574e6c26fea5f748c","abstract_canon_sha256":"2ece44e6b45fdb46527ef52bda1b0429df23e4e4e88f337372528b655df80f47"},"schema_version":"1.0"},"canonical_sha256":"167ccf2ae28e30253ef261eb6c8157ab0b1462681ed923d429aef81d72880e83","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-28T00:05:20.327177Z","signature_b64":"DLkWNA5YxpqReKIenhliq1F11otnOj9uy/yuzZijBpP7a37dJJccKJHieaTnYkrkqUueFCBLxeI8ae2qeJ89Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"167ccf2ae28e30253ef261eb6c8157ab0b1462681ed923d429aef81d72880e83","last_reissued_at":"2026-05-28T00:05:20.326692Z","signature_status":"signed_v1","first_computed_at":"2026-05-28T00:05:20.326692Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.27472","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-05-28T00:05:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eosy32cjm6k+dPZdw73hp5LvOn24Ecj6R/E2nbIB5qE2tJ43Rkf2ElZMH4nGze0k/DlrjdSHhQzzo0i3zOv+DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T03:58:02.379763Z"},"content_sha256":"418d8ab46cbc8f6cf5148ffd7a9866309bdf9458c3f4dc33d628930088951179","schema_version":"1.0","event_id":"sha256:418d8ab46cbc8f6cf5148ffd7a9866309bdf9458c3f4dc33d628930088951179"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:CZ6M6KXCRYYCKPXSMHVWZAKXVM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"AssertLLM2: A Comprehensive LLM Benchmark for Assertion Generation from Design Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.AR","authors_text":"Jing Wang, Wenji Fang, Wenkai Li, Yuchao Wu, Zhiyao Xie, Ziyan Guo","submitted_at":"2026-05-26T10:49:25Z","abstract_excerpt":"Assertion-based verification (ABV) is a cornerstone of modern hardware design, yet manually translating design intent into formal SystemVerilog Assertions (SVAs) remains labor-intensive and error-prone. While Large Language Models (LLMs) show promise for automating this process, existing benchmarks remain limited by unrealistic task formulations, weak specification inputs, and oversimplified evaluation. To address these limitations, we introduce AssertLLM2, an open-source benchmark for realistic assertion generation in hardware verification. AssertLLM2 contains 83 real-world designs across 13 "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.27472","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/2605.27472/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-05-28T00:05:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ML1O8dP4IpW5oWi6knYb9mSHyWBU2WVT1tE1n8nslZ86ARyQikcw87zIO7j9AcZLGR7cPspKogd7u3BEi8PiDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T03:58:02.380540Z"},"content_sha256":"44ecbc7284c2dd15e72408cf001af91f79e103f48208db18778affb6308a9798","schema_version":"1.0","event_id":"sha256:44ecbc7284c2dd15e72408cf001af91f79e103f48208db18778affb6308a9798"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CZ6M6KXCRYYCKPXSMHVWZAKXVM/bundle.json","state_url":"https://pith.science/pith/CZ6M6KXCRYYCKPXSMHVWZAKXVM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CZ6M6KXCRYYCKPXSMHVWZAKXVM/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-06-05T03:58:02Z","links":{"resolver":"https://pith.science/pith/CZ6M6KXCRYYCKPXSMHVWZAKXVM","bundle":"https://pith.science/pith/CZ6M6KXCRYYCKPXSMHVWZAKXVM/bundle.json","state":"https://pith.science/pith/CZ6M6KXCRYYCKPXSMHVWZAKXVM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CZ6M6KXCRYYCKPXSMHVWZAKXVM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:CZ6M6KXCRYYCKPXSMHVWZAKXVM","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":"2ece44e6b45fdb46527ef52bda1b0429df23e4e4e88f337372528b655df80f47","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-05-26T10:49:25Z","title_canon_sha256":"a3fb573e81e55fd1f497f5f894bd8ff3653c90f33fa5ae5574e6c26fea5f748c"},"schema_version":"1.0","source":{"id":"2605.27472","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.27472","created_at":"2026-05-28T00:05:20Z"},{"alias_kind":"arxiv_version","alias_value":"2605.27472v1","created_at":"2026-05-28T00:05:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.27472","created_at":"2026-05-28T00:05:20Z"},{"alias_kind":"pith_short_12","alias_value":"CZ6M6KXCRYYC","created_at":"2026-05-28T00:05:20Z"},{"alias_kind":"pith_short_16","alias_value":"CZ6M6KXCRYYCKPXS","created_at":"2026-05-28T00:05:20Z"},{"alias_kind":"pith_short_8","alias_value":"CZ6M6KXC","created_at":"2026-05-28T00:05:20Z"}],"graph_snapshots":[{"event_id":"sha256:44ecbc7284c2dd15e72408cf001af91f79e103f48208db18778affb6308a9798","target":"graph","created_at":"2026-05-28T00:05:20Z","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/2605.27472/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Assertion-based verification (ABV) is a cornerstone of modern hardware design, yet manually translating design intent into formal SystemVerilog Assertions (SVAs) remains labor-intensive and error-prone. While Large Language Models (LLMs) show promise for automating this process, existing benchmarks remain limited by unrealistic task formulations, weak specification inputs, and oversimplified evaluation. To address these limitations, we introduce AssertLLM2, an open-source benchmark for realistic assertion generation in hardware verification. AssertLLM2 contains 83 real-world designs across 13 ","authors_text":"Jing Wang, Wenji Fang, Wenkai Li, Yuchao Wu, Zhiyao Xie, Ziyan Guo","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-05-26T10:49:25Z","title":"AssertLLM2: A Comprehensive LLM Benchmark for Assertion Generation from Design Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.27472","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:418d8ab46cbc8f6cf5148ffd7a9866309bdf9458c3f4dc33d628930088951179","target":"record","created_at":"2026-05-28T00:05:20Z","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":"2ece44e6b45fdb46527ef52bda1b0429df23e4e4e88f337372528b655df80f47","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-05-26T10:49:25Z","title_canon_sha256":"a3fb573e81e55fd1f497f5f894bd8ff3653c90f33fa5ae5574e6c26fea5f748c"},"schema_version":"1.0","source":{"id":"2605.27472","kind":"arxiv","version":1}},"canonical_sha256":"167ccf2ae28e30253ef261eb6c8157ab0b1462681ed923d429aef81d72880e83","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"167ccf2ae28e30253ef261eb6c8157ab0b1462681ed923d429aef81d72880e83","first_computed_at":"2026-05-28T00:05:20.326692Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-28T00:05:20.326692Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DLkWNA5YxpqReKIenhliq1F11otnOj9uy/yuzZijBpP7a37dJJccKJHieaTnYkrkqUueFCBLxeI8ae2qeJ89Aw==","signature_status":"signed_v1","signed_at":"2026-05-28T00:05:20.327177Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.27472","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:418d8ab46cbc8f6cf5148ffd7a9866309bdf9458c3f4dc33d628930088951179","sha256:44ecbc7284c2dd15e72408cf001af91f79e103f48208db18778affb6308a9798"],"state_sha256":"a18f6d2245eb6e1faf14de85033ab0ca560c69593cd45dc77eff7259eebdc556"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t8HkVh1QgDj6v8epnIXoINcneKp+9cVudeybHh80XsfPCzPQZ9nwFV3OShCLh0c8fzrsgLUUv1Aygr05SFhEAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T03:58:02.384383Z","bundle_sha256":"3a3ac25146f70360d89c554d3f1f20af764db5f5982640017fbaeed5ed406a58"}}