{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:WPJYE5EQTFJHXGLSZUKP63C6AQ","short_pith_number":"pith:WPJYE5EQ","canonical_record":{"source":{"id":"2504.15659","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-04-22T07:32:46Z","cross_cats_sorted":["cs.AI","cs.CL","cs.LG","cs.SE"],"title_canon_sha256":"086aa17beb7408a7f1a8f34257c5a5b207c0f1b335a98513e55b47a4412f170d","abstract_canon_sha256":"dbe128b331cc52a788bd1b49663708e80f2463eb41aeac45de7a7e4d2366a40a"},"schema_version":"1.0"},"canonical_sha256":"b3d382749099527b9972cd14ff6c5e04327238843175c1b436a26317c3a1a687","source":{"kind":"arxiv","id":"2504.15659","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.15659","created_at":"2026-07-05T11:58:27Z"},{"alias_kind":"arxiv_version","alias_value":"2504.15659v2","created_at":"2026-07-05T11:58:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.15659","created_at":"2026-07-05T11:58:27Z"},{"alias_kind":"pith_short_12","alias_value":"WPJYE5EQTFJH","created_at":"2026-07-05T11:58:27Z"},{"alias_kind":"pith_short_16","alias_value":"WPJYE5EQTFJHXGLS","created_at":"2026-07-05T11:58:27Z"},{"alias_kind":"pith_short_8","alias_value":"WPJYE5EQ","created_at":"2026-07-05T11:58:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:WPJYE5EQTFJHXGLSZUKP63C6AQ","target":"record","payload":{"canonical_record":{"source":{"id":"2504.15659","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-04-22T07:32:46Z","cross_cats_sorted":["cs.AI","cs.CL","cs.LG","cs.SE"],"title_canon_sha256":"086aa17beb7408a7f1a8f34257c5a5b207c0f1b335a98513e55b47a4412f170d","abstract_canon_sha256":"dbe128b331cc52a788bd1b49663708e80f2463eb41aeac45de7a7e4d2366a40a"},"schema_version":"1.0"},"canonical_sha256":"b3d382749099527b9972cd14ff6c5e04327238843175c1b436a26317c3a1a687","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:58:27.685621Z","signature_b64":"NikQEWTzz0Id05Y6T+aG4iROqGqOwdO+7YBL5tuGjTEWQbTpa32GfXwwGAvc2SFQpTD1s7hO13Va0CkJyBK9AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3d382749099527b9972cd14ff6c5e04327238843175c1b436a26317c3a1a687","last_reissued_at":"2026-07-05T11:58:27.685147Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:58:27.685147Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.15659","source_version":2,"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-05T11:58:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XE0Ofp/Zsqk5MVDihYMhXqhNNrN+kccI1idXhejKkirDMtLSo/nTRee8qAwqsejX2qUN6k3DaF4aKhT4Iz1YCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T02:56:02.250471Z"},"content_sha256":"0ea756d6073866a72b9d8219f196d7de6b3b2b018551663524411e78289d6897","schema_version":"1.0","event_id":"sha256:0ea756d6073866a72b9d8219f196d7de6b3b2b018551663524411e78289d6897"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:WPJYE5EQTFJHXGLSZUKP63C6AQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CL","cs.LG","cs.SE"],"primary_cat":"cs.AR","authors_text":"Alex Aiken, Anjiang Wei, Caroline Trippel, Daniel Mendoza, Huanmi Tan, Ke Wang, Tarun Suresh, Thiago S. F. X. Teixeira","submitted_at":"2025-04-22T07:32:46Z","abstract_excerpt":"Recent advances in Large Language Models (LLMs) have sparked growing interest in applying them to Electronic Design Automation (EDA) tasks, particularly Register Transfer Level (RTL) code generation. While several RTL datasets have been introduced, most focus on syntactic validity rather than functional validation with tests, leading to training examples that compile but may not implement the intended behavior. We present VERICODER, a model for RTL code generation fine-tuned on a dataset validated for functional correctness. This fine-tuning dataset is constructed using a novel methodology tha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.15659","kind":"arxiv","version":2},"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/2504.15659/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-05T11:58:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pBN8jMZ1V+1Df0yKt+LtUshcZeWXfAvMU1NgrJAU5BVNFwi5jLO3W0LO0Xjkw1mOSikRr8OTeGv2oT5iADvtDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T02:56:02.251429Z"},"content_sha256":"3e618b2c7cb19c63793fb3cf3b13c598a629cb06986a381ce016b31fca250005","schema_version":"1.0","event_id":"sha256:3e618b2c7cb19c63793fb3cf3b13c598a629cb06986a381ce016b31fca250005"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WPJYE5EQTFJHXGLSZUKP63C6AQ/bundle.json","state_url":"https://pith.science/pith/WPJYE5EQTFJHXGLSZUKP63C6AQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WPJYE5EQTFJHXGLSZUKP63C6AQ/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-20T02:56:02Z","links":{"resolver":"https://pith.science/pith/WPJYE5EQTFJHXGLSZUKP63C6AQ","bundle":"https://pith.science/pith/WPJYE5EQTFJHXGLSZUKP63C6AQ/bundle.json","state":"https://pith.science/pith/WPJYE5EQTFJHXGLSZUKP63C6AQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WPJYE5EQTFJHXGLSZUKP63C6AQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:WPJYE5EQTFJHXGLSZUKP63C6AQ","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":"dbe128b331cc52a788bd1b49663708e80f2463eb41aeac45de7a7e4d2366a40a","cross_cats_sorted":["cs.AI","cs.CL","cs.LG","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-04-22T07:32:46Z","title_canon_sha256":"086aa17beb7408a7f1a8f34257c5a5b207c0f1b335a98513e55b47a4412f170d"},"schema_version":"1.0","source":{"id":"2504.15659","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.15659","created_at":"2026-07-05T11:58:27Z"},{"alias_kind":"arxiv_version","alias_value":"2504.15659v2","created_at":"2026-07-05T11:58:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.15659","created_at":"2026-07-05T11:58:27Z"},{"alias_kind":"pith_short_12","alias_value":"WPJYE5EQTFJH","created_at":"2026-07-05T11:58:27Z"},{"alias_kind":"pith_short_16","alias_value":"WPJYE5EQTFJHXGLS","created_at":"2026-07-05T11:58:27Z"},{"alias_kind":"pith_short_8","alias_value":"WPJYE5EQ","created_at":"2026-07-05T11:58:27Z"}],"graph_snapshots":[{"event_id":"sha256:3e618b2c7cb19c63793fb3cf3b13c598a629cb06986a381ce016b31fca250005","target":"graph","created_at":"2026-07-05T11:58:27Z","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/2504.15659/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent advances in Large Language Models (LLMs) have sparked growing interest in applying them to Electronic Design Automation (EDA) tasks, particularly Register Transfer Level (RTL) code generation. While several RTL datasets have been introduced, most focus on syntactic validity rather than functional validation with tests, leading to training examples that compile but may not implement the intended behavior. We present VERICODER, a model for RTL code generation fine-tuned on a dataset validated for functional correctness. This fine-tuning dataset is constructed using a novel methodology tha","authors_text":"Alex Aiken, Anjiang Wei, Caroline Trippel, Daniel Mendoza, Huanmi Tan, Ke Wang, Tarun Suresh, Thiago S. F. X. Teixeira","cross_cats":["cs.AI","cs.CL","cs.LG","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-04-22T07:32:46Z","title":"VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.15659","kind":"arxiv","version":2},"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:0ea756d6073866a72b9d8219f196d7de6b3b2b018551663524411e78289d6897","target":"record","created_at":"2026-07-05T11:58:27Z","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":"dbe128b331cc52a788bd1b49663708e80f2463eb41aeac45de7a7e4d2366a40a","cross_cats_sorted":["cs.AI","cs.CL","cs.LG","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-04-22T07:32:46Z","title_canon_sha256":"086aa17beb7408a7f1a8f34257c5a5b207c0f1b335a98513e55b47a4412f170d"},"schema_version":"1.0","source":{"id":"2504.15659","kind":"arxiv","version":2}},"canonical_sha256":"b3d382749099527b9972cd14ff6c5e04327238843175c1b436a26317c3a1a687","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b3d382749099527b9972cd14ff6c5e04327238843175c1b436a26317c3a1a687","first_computed_at":"2026-07-05T11:58:27.685147Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:58:27.685147Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NikQEWTzz0Id05Y6T+aG4iROqGqOwdO+7YBL5tuGjTEWQbTpa32GfXwwGAvc2SFQpTD1s7hO13Va0CkJyBK9AQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:58:27.685621Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.15659","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0ea756d6073866a72b9d8219f196d7de6b3b2b018551663524411e78289d6897","sha256:3e618b2c7cb19c63793fb3cf3b13c598a629cb06986a381ce016b31fca250005"],"state_sha256":"d72b1361e72a99c61b076a35c0a9b118331bc897a6e5e519d539cde278cc7196"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oJUq32s4ekNuI3ydzpaKg3KepbZZ1wUyp4Gw1IqWtYuybz15dFABSdP8jzQxDcRwL0aD8mSt4Qx1htfVxOB8Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T02:56:02.258931Z","bundle_sha256":"bdd36c37b3674720008aac9b882bab5500dea30b463683572c81dbe2a3fc6406"}}