{"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"}