{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:6QPMTHOXDMA2ANK3D2V3SBF3VE","short_pith_number":"pith:6QPMTHOX","canonical_record":{"source":{"id":"2402.03289","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-02-05T18:47:04Z","cross_cats_sorted":["cs.AI","cs.AR"],"title_canon_sha256":"1f80aac536f2ff169a7a2722e2afd4afd4cbdf2a382bbbde2eb4a99255c0c742","abstract_canon_sha256":"ad503cbc902ff2c8d3db70536048613bb5c6dfdff0fa8bf542e2c72c5d339719"},"schema_version":"1.0"},"canonical_sha256":"f41ec99dd71b01a0355b1eabb904bba93253679e0ff73a585db0aab407a7537e","source":{"kind":"arxiv","id":"2402.03289","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.03289","created_at":"2026-07-05T07:41:33Z"},{"alias_kind":"arxiv_version","alias_value":"2402.03289v1","created_at":"2026-07-05T07:41:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.03289","created_at":"2026-07-05T07:41:33Z"},{"alias_kind":"pith_short_12","alias_value":"6QPMTHOXDMA2","created_at":"2026-07-05T07:41:33Z"},{"alias_kind":"pith_short_16","alias_value":"6QPMTHOXDMA2ANK3","created_at":"2026-07-05T07:41:33Z"},{"alias_kind":"pith_short_8","alias_value":"6QPMTHOX","created_at":"2026-07-05T07:41:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:6QPMTHOXDMA2ANK3D2V3SBF3VE","target":"record","payload":{"canonical_record":{"source":{"id":"2402.03289","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-02-05T18:47:04Z","cross_cats_sorted":["cs.AI","cs.AR"],"title_canon_sha256":"1f80aac536f2ff169a7a2722e2afd4afd4cbdf2a382bbbde2eb4a99255c0c742","abstract_canon_sha256":"ad503cbc902ff2c8d3db70536048613bb5c6dfdff0fa8bf542e2c72c5d339719"},"schema_version":"1.0"},"canonical_sha256":"f41ec99dd71b01a0355b1eabb904bba93253679e0ff73a585db0aab407a7537e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:41:33.539311Z","signature_b64":"ZZuoGqyORqHE1qXBGs558jqMg2oP9wgIVSvCNTbKrzTn2y4YvkhxTU2xfA2rBTWyBTb/iTbWfYHWCQDFCJZPDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f41ec99dd71b01a0355b1eabb904bba93253679e0ff73a585db0aab407a7537e","last_reissued_at":"2026-07-05T07:41:33.538908Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:41:33.538908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.03289","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-05T07:41:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Id37yY0ZQXRKj4FEvoCCWJxDHIi2NfGrv5qpoaIkQWZ22qJhvJqRnmR2mu9uPB/Vh+a8l4O0p5h3U/bMlsRsCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T05:04:36.216453Z"},"content_sha256":"d9354a643f917362192ce692c4b1e88e6df725fbce687a058e45e6389601148f","schema_version":"1.0","event_id":"sha256:d9354a643f917362192ce692c4b1e88e6df725fbce687a058e45e6389601148f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:6QPMTHOXDMA2ANK3D2V3SBF3VE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI","cs.AR"],"primary_cat":"cs.LG","authors_text":"Animesh Basak Chowdhury, Jeyavijayan Rajendran, Matthew DeLorenzo, Ramesh Karri, Shailja Thakur, Siddharth Garg, Vasudev Gohil","submitted_at":"2024-02-05T18:47:04Z","abstract_excerpt":"Existing large language models (LLMs) for register transfer level code generation face challenges like compilation failures and suboptimal power, performance, and area (PPA) efficiency. This is due to the lack of PPA awareness in conventional transformer decoding algorithms. In response, we present an automated transformer decoding algorithm that integrates Monte Carlo tree-search for lookahead, guiding the transformer to produce compilable, functionally correct, and PPA-optimized code. Empirical evaluation with a fine-tuned language model on RTL codesets shows that our proposed technique cons"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.03289","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/2402.03289/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-05T07:41:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QHb6FB3Zq+CjRa7ca//Z7FDQg5+uUPut4lT/hq2PcnC80WkWut7Nz5drBB1mYUOzguj/+Jo2rp7Y3mBkDvT7AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T05:04:36.216973Z"},"content_sha256":"99a22fd9853e7f677994ec7fa74bd7aef94e3fae451d964a9e68b3d88d3df4e2","schema_version":"1.0","event_id":"sha256:99a22fd9853e7f677994ec7fa74bd7aef94e3fae451d964a9e68b3d88d3df4e2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6QPMTHOXDMA2ANK3D2V3SBF3VE/bundle.json","state_url":"https://pith.science/pith/6QPMTHOXDMA2ANK3D2V3SBF3VE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6QPMTHOXDMA2ANK3D2V3SBF3VE/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-06T05:04:36Z","links":{"resolver":"https://pith.science/pith/6QPMTHOXDMA2ANK3D2V3SBF3VE","bundle":"https://pith.science/pith/6QPMTHOXDMA2ANK3D2V3SBF3VE/bundle.json","state":"https://pith.science/pith/6QPMTHOXDMA2ANK3D2V3SBF3VE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6QPMTHOXDMA2ANK3D2V3SBF3VE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:6QPMTHOXDMA2ANK3D2V3SBF3VE","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":"ad503cbc902ff2c8d3db70536048613bb5c6dfdff0fa8bf542e2c72c5d339719","cross_cats_sorted":["cs.AI","cs.AR"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-02-05T18:47:04Z","title_canon_sha256":"1f80aac536f2ff169a7a2722e2afd4afd4cbdf2a382bbbde2eb4a99255c0c742"},"schema_version":"1.0","source":{"id":"2402.03289","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.03289","created_at":"2026-07-05T07:41:33Z"},{"alias_kind":"arxiv_version","alias_value":"2402.03289v1","created_at":"2026-07-05T07:41:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.03289","created_at":"2026-07-05T07:41:33Z"},{"alias_kind":"pith_short_12","alias_value":"6QPMTHOXDMA2","created_at":"2026-07-05T07:41:33Z"},{"alias_kind":"pith_short_16","alias_value":"6QPMTHOXDMA2ANK3","created_at":"2026-07-05T07:41:33Z"},{"alias_kind":"pith_short_8","alias_value":"6QPMTHOX","created_at":"2026-07-05T07:41:33Z"}],"graph_snapshots":[{"event_id":"sha256:99a22fd9853e7f677994ec7fa74bd7aef94e3fae451d964a9e68b3d88d3df4e2","target":"graph","created_at":"2026-07-05T07:41:33Z","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/2402.03289/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Existing large language models (LLMs) for register transfer level code generation face challenges like compilation failures and suboptimal power, performance, and area (PPA) efficiency. This is due to the lack of PPA awareness in conventional transformer decoding algorithms. In response, we present an automated transformer decoding algorithm that integrates Monte Carlo tree-search for lookahead, guiding the transformer to produce compilable, functionally correct, and PPA-optimized code. Empirical evaluation with a fine-tuned language model on RTL codesets shows that our proposed technique cons","authors_text":"Animesh Basak Chowdhury, Jeyavijayan Rajendran, Matthew DeLorenzo, Ramesh Karri, Shailja Thakur, Siddharth Garg, Vasudev Gohil","cross_cats":["cs.AI","cs.AR"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-02-05T18:47:04Z","title":"Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.03289","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:d9354a643f917362192ce692c4b1e88e6df725fbce687a058e45e6389601148f","target":"record","created_at":"2026-07-05T07:41:33Z","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":"ad503cbc902ff2c8d3db70536048613bb5c6dfdff0fa8bf542e2c72c5d339719","cross_cats_sorted":["cs.AI","cs.AR"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-02-05T18:47:04Z","title_canon_sha256":"1f80aac536f2ff169a7a2722e2afd4afd4cbdf2a382bbbde2eb4a99255c0c742"},"schema_version":"1.0","source":{"id":"2402.03289","kind":"arxiv","version":1}},"canonical_sha256":"f41ec99dd71b01a0355b1eabb904bba93253679e0ff73a585db0aab407a7537e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f41ec99dd71b01a0355b1eabb904bba93253679e0ff73a585db0aab407a7537e","first_computed_at":"2026-07-05T07:41:33.538908Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:41:33.538908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZZuoGqyORqHE1qXBGs558jqMg2oP9wgIVSvCNTbKrzTn2y4YvkhxTU2xfA2rBTWyBTb/iTbWfYHWCQDFCJZPDg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:41:33.539311Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.03289","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d9354a643f917362192ce692c4b1e88e6df725fbce687a058e45e6389601148f","sha256:99a22fd9853e7f677994ec7fa74bd7aef94e3fae451d964a9e68b3d88d3df4e2"],"state_sha256":"bbc0b1ce4615f6ba6942923bf3be4724cc26b8626824995596a65345a187f20f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2jgC57HPeSqCuEP3bJDJl/3QiRirVV+/iw9atqOcIKq1eZfDW+VcwTUyMxlpYGIiV1wCUVctjJjTZJbLXatsDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T05:04:36.222354Z","bundle_sha256":"eebfc42721033ae2862b3edd04b39cdb44e9496073928801957447e2127f40a1"}}