{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:DYKCTY42U24XU3VZWHPEZN5LX5","short_pith_number":"pith:DYKCTY42","canonical_record":{"source":{"id":"2502.10815","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-02-15T14:41:42Z","cross_cats_sorted":[],"title_canon_sha256":"a3e7b46ef6df623f4effc3291f529cab50d893f829b222759ba0960cbc7860b4","abstract_canon_sha256":"82143e4d2eba3fb496fcabab46e4055a4bd59b8482048af1797d4e14769d6c59"},"schema_version":"1.0"},"canonical_sha256":"1e1429e39aa6b97a6eb9b1de4cb7abbf6b096688aba557007d71ecf6bb351257","source":{"kind":"arxiv","id":"2502.10815","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.10815","created_at":"2026-07-05T10:14:58Z"},{"alias_kind":"arxiv_version","alias_value":"2502.10815v1","created_at":"2026-07-05T10:14:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.10815","created_at":"2026-07-05T10:14:58Z"},{"alias_kind":"pith_short_12","alias_value":"DYKCTY42U24X","created_at":"2026-07-05T10:14:58Z"},{"alias_kind":"pith_short_16","alias_value":"DYKCTY42U24XU3VZ","created_at":"2026-07-05T10:14:58Z"},{"alias_kind":"pith_short_8","alias_value":"DYKCTY42","created_at":"2026-07-05T10:14:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:DYKCTY42U24XU3VZWHPEZN5LX5","target":"record","payload":{"canonical_record":{"source":{"id":"2502.10815","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-02-15T14:41:42Z","cross_cats_sorted":[],"title_canon_sha256":"a3e7b46ef6df623f4effc3291f529cab50d893f829b222759ba0960cbc7860b4","abstract_canon_sha256":"82143e4d2eba3fb496fcabab46e4055a4bd59b8482048af1797d4e14769d6c59"},"schema_version":"1.0"},"canonical_sha256":"1e1429e39aa6b97a6eb9b1de4cb7abbf6b096688aba557007d71ecf6bb351257","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:14:58.582048Z","signature_b64":"7HFta8nKXc6L2CeCNrtcddp9KLno5I38zuIgvrc0Y9wIe9tTJsnt+FNtS9HtBOpe2r/cH6elW/7DMXmjO1n2Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1e1429e39aa6b97a6eb9b1de4cb7abbf6b096688aba557007d71ecf6bb351257","last_reissued_at":"2026-07-05T10:14:58.581543Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:14:58.581543Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.10815","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-05T10:14:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3klNs8uUbrEzwtDsnpyZP1TvZz70N7p8Q+YOmNK5YL4iqhvpooWvDdNSi3AFwrsERB5uE6r4pTUCtTfaap2rCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T07:22:05.828987Z"},"content_sha256":"10231941eeda3b5d54a9b5f9d296ae7175401036151466e0309c990163c98998","schema_version":"1.0","event_id":"sha256:10231941eeda3b5d54a9b5f9d296ae7175401036151466e0309c990163c98998"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:DYKCTY42U24XU3VZWHPEZN5LX5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LintLLM: An Open-Source Verilog Linting Framework Based on Large Language Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Huadong Dai, Lei Wang, Renzhi Chen, Yang Guo, Zhigang Fang, Zhijie Yang","submitted_at":"2025-02-15T14:41:42Z","abstract_excerpt":"Code Linting tools are vital for detecting potential defects in Verilog code. However, the limitations of traditional Linting tools are evident in frequent false positives and redundant defect reports. Recent advancements in large language models (LLM) have introduced new possibilities in this area. In this paper, we propose LintLLM, an open-source Linting framework that utilizes LLMs to detect defects in Verilog code via Prompt of Logic-Tree and Defect Tracker. Furthermore, we create an open-source benchmark using the mutation-based defect injection technique to evaluate LLM's ability in dete"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.10815","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/2502.10815/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-05T10:14:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n/9KFWWZudr1hxsW2T3Qfj1BKsVZzQbjxFneccpk0rXMLBlrGPtUGF7ZCG51nSIoWUYX0bj+B07Upfx4PjuvAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T07:22:05.829390Z"},"content_sha256":"9f4a29bceceaefc7eb98781770e42901d22038ab2ecac27385095a3ea9c69dad","schema_version":"1.0","event_id":"sha256:9f4a29bceceaefc7eb98781770e42901d22038ab2ecac27385095a3ea9c69dad"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DYKCTY42U24XU3VZWHPEZN5LX5/bundle.json","state_url":"https://pith.science/pith/DYKCTY42U24XU3VZWHPEZN5LX5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DYKCTY42U24XU3VZWHPEZN5LX5/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-04T07:22:05Z","links":{"resolver":"https://pith.science/pith/DYKCTY42U24XU3VZWHPEZN5LX5","bundle":"https://pith.science/pith/DYKCTY42U24XU3VZWHPEZN5LX5/bundle.json","state":"https://pith.science/pith/DYKCTY42U24XU3VZWHPEZN5LX5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DYKCTY42U24XU3VZWHPEZN5LX5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:DYKCTY42U24XU3VZWHPEZN5LX5","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":"82143e4d2eba3fb496fcabab46e4055a4bd59b8482048af1797d4e14769d6c59","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-02-15T14:41:42Z","title_canon_sha256":"a3e7b46ef6df623f4effc3291f529cab50d893f829b222759ba0960cbc7860b4"},"schema_version":"1.0","source":{"id":"2502.10815","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.10815","created_at":"2026-07-05T10:14:58Z"},{"alias_kind":"arxiv_version","alias_value":"2502.10815v1","created_at":"2026-07-05T10:14:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.10815","created_at":"2026-07-05T10:14:58Z"},{"alias_kind":"pith_short_12","alias_value":"DYKCTY42U24X","created_at":"2026-07-05T10:14:58Z"},{"alias_kind":"pith_short_16","alias_value":"DYKCTY42U24XU3VZ","created_at":"2026-07-05T10:14:58Z"},{"alias_kind":"pith_short_8","alias_value":"DYKCTY42","created_at":"2026-07-05T10:14:58Z"}],"graph_snapshots":[{"event_id":"sha256:9f4a29bceceaefc7eb98781770e42901d22038ab2ecac27385095a3ea9c69dad","target":"graph","created_at":"2026-07-05T10:14:58Z","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/2502.10815/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code Linting tools are vital for detecting potential defects in Verilog code. However, the limitations of traditional Linting tools are evident in frequent false positives and redundant defect reports. Recent advancements in large language models (LLM) have introduced new possibilities in this area. In this paper, we propose LintLLM, an open-source Linting framework that utilizes LLMs to detect defects in Verilog code via Prompt of Logic-Tree and Defect Tracker. Furthermore, we create an open-source benchmark using the mutation-based defect injection technique to evaluate LLM's ability in dete","authors_text":"Huadong Dai, Lei Wang, Renzhi Chen, Yang Guo, Zhigang Fang, Zhijie Yang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-02-15T14:41:42Z","title":"LintLLM: An Open-Source Verilog Linting Framework Based on Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.10815","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:10231941eeda3b5d54a9b5f9d296ae7175401036151466e0309c990163c98998","target":"record","created_at":"2026-07-05T10:14:58Z","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":"82143e4d2eba3fb496fcabab46e4055a4bd59b8482048af1797d4e14769d6c59","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-02-15T14:41:42Z","title_canon_sha256":"a3e7b46ef6df623f4effc3291f529cab50d893f829b222759ba0960cbc7860b4"},"schema_version":"1.0","source":{"id":"2502.10815","kind":"arxiv","version":1}},"canonical_sha256":"1e1429e39aa6b97a6eb9b1de4cb7abbf6b096688aba557007d71ecf6bb351257","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1e1429e39aa6b97a6eb9b1de4cb7abbf6b096688aba557007d71ecf6bb351257","first_computed_at":"2026-07-05T10:14:58.581543Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:14:58.581543Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7HFta8nKXc6L2CeCNrtcddp9KLno5I38zuIgvrc0Y9wIe9tTJsnt+FNtS9HtBOpe2r/cH6elW/7DMXmjO1n2Bg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:14:58.582048Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.10815","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:10231941eeda3b5d54a9b5f9d296ae7175401036151466e0309c990163c98998","sha256:9f4a29bceceaefc7eb98781770e42901d22038ab2ecac27385095a3ea9c69dad"],"state_sha256":"4ce11c960893ce92c87b10d485cf3cb864ea6d6bfa105b5763ea9a583ed456dd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cDvQ+BMdJXv4qcFD6iWzzv7PtsobiUi/+8mb13ZHDgEnflqVHsJsJ/c/CMwLt82M0iTlP3fKw73XNgtxNPTACQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T07:22:05.832248Z","bundle_sha256":"e6ef894e04f2bf587c1caa62416a82f9f59d1423652a4fc63056940f286c33b6"}}