{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HIGAPINBVAYCK7LPP2XKXRCPWH","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":"475445cd82c3eee85ed9f377399096c5050fbf037571fe2d75247c32915beaf6","cross_cats_sorted":["cs.CR","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-03-11T22:13:26Z","title_canon_sha256":"57477280858186b3838fc728487f6b087516375125185c42a0e81627dc61b8ec"},"schema_version":"1.0","source":{"id":"2503.08923","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.08923","created_at":"2026-07-05T10:36:16Z"},{"alias_kind":"arxiv_version","alias_value":"2503.08923v1","created_at":"2026-07-05T10:36:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.08923","created_at":"2026-07-05T10:36:16Z"},{"alias_kind":"pith_short_12","alias_value":"HIGAPINBVAYC","created_at":"2026-07-05T10:36:16Z"},{"alias_kind":"pith_short_16","alias_value":"HIGAPINBVAYCK7LP","created_at":"2026-07-05T10:36:16Z"},{"alias_kind":"pith_short_8","alias_value":"HIGAPINB","created_at":"2026-07-05T10:36:16Z"}],"graph_snapshots":[{"event_id":"sha256:bc485ac6f8c45f0e0605efbc312f57df443e517cf2b7aef7c044595d4c2b15eb","target":"graph","created_at":"2026-07-05T10:36:16Z","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/2503.08923/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Hardware verification is crucial in modern SoC design, consuming around 70% of development time. SystemVerilog assertions ensure correct functionality. However, existing industrial practices rely on manual efforts for assertion generation, which becomes increasingly untenable as hardware systems become complex. Recent research shows that Large Language Models (LLMs) can automate this process. However, proprietary SOTA models like GPT-4o often generate inaccurate assertions and require expensive licenses, while smaller open-source LLMs need fine-tuning to manage HDL code complexities. To addres","authors_text":"Amisha Srivastava, Anand Menon, Arnab Raha, Deepak Mathaikutty, Gabriel Theodor Sonnenschein, Kanad Basu, Samit S Miftah, Shamik Kundu, Souvik Kundu, Suvadeep Banerjee","cross_cats":["cs.CR","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-03-11T22:13:26Z","title":"Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.08923","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:6981353b0066804c540d0459467364624073444ed3e060372ac140db313a9628","target":"record","created_at":"2026-07-05T10:36:16Z","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":"475445cd82c3eee85ed9f377399096c5050fbf037571fe2d75247c32915beaf6","cross_cats_sorted":["cs.CR","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-03-11T22:13:26Z","title_canon_sha256":"57477280858186b3838fc728487f6b087516375125185c42a0e81627dc61b8ec"},"schema_version":"1.0","source":{"id":"2503.08923","kind":"arxiv","version":1}},"canonical_sha256":"3a0c07a1a1a830257d6f7eaeabc44fb1c131d22183c032b0eadd1b0566b6237d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3a0c07a1a1a830257d6f7eaeabc44fb1c131d22183c032b0eadd1b0566b6237d","first_computed_at":"2026-07-05T10:36:16.060763Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:36:16.060763Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WNUQ5U0RHMNQiW67ziPTuYVuRdaoyKkN2bhC5f6YWhASIru7L4SZmN8vJe32qjJrr+cRoFFc4QP9LIrAEbDZDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:36:16.061300Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.08923","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6981353b0066804c540d0459467364624073444ed3e060372ac140db313a9628","sha256:bc485ac6f8c45f0e0605efbc312f57df443e517cf2b7aef7c044595d4c2b15eb"],"state_sha256":"42667771a1ec25c4bc7e8f22f8d1e98cebe8e4bdaf4dc3135b34645fe7dab669"}