{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:DHJX7HSQY73MF544R36MHIU7Q2","short_pith_number":"pith:DHJX7HSQ","canonical_record":{"source":{"id":"2411.00843","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-30T04:20:10Z","cross_cats_sorted":["cs.AI","cs.AR","cs.CL"],"title_canon_sha256":"5599e9e3ac5561924133c856a449b59d9b605b24997af1d941e5dce02949711d","abstract_canon_sha256":"65c335f6e13ec509960161d83966d8d7d5ae8b5ea2f67a6bc44e24fde284beeb"},"schema_version":"1.0"},"canonical_sha256":"19d37f9e50c7f6c2f79c8efcc3a29f86bd6459b5697b3d74b93296eab74529f7","source":{"kind":"arxiv","id":"2411.00843","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.00843","created_at":"2026-07-05T10:14:24Z"},{"alias_kind":"arxiv_version","alias_value":"2411.00843v2","created_at":"2026-07-05T10:14:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.00843","created_at":"2026-07-05T10:14:24Z"},{"alias_kind":"pith_short_12","alias_value":"DHJX7HSQY73M","created_at":"2026-07-05T10:14:24Z"},{"alias_kind":"pith_short_16","alias_value":"DHJX7HSQY73MF544","created_at":"2026-07-05T10:14:24Z"},{"alias_kind":"pith_short_8","alias_value":"DHJX7HSQ","created_at":"2026-07-05T10:14:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:DHJX7HSQY73MF544R36MHIU7Q2","target":"record","payload":{"canonical_record":{"source":{"id":"2411.00843","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-30T04:20:10Z","cross_cats_sorted":["cs.AI","cs.AR","cs.CL"],"title_canon_sha256":"5599e9e3ac5561924133c856a449b59d9b605b24997af1d941e5dce02949711d","abstract_canon_sha256":"65c335f6e13ec509960161d83966d8d7d5ae8b5ea2f67a6bc44e24fde284beeb"},"schema_version":"1.0"},"canonical_sha256":"19d37f9e50c7f6c2f79c8efcc3a29f86bd6459b5697b3d74b93296eab74529f7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:14:24.898730Z","signature_b64":"+owP0AOaXMlsJOoFHBU85+Ca3CXPbrFsOEKhrK/5glN+jN5+qxanZRdnVUUDKJXmEzCRwen3Adz2BqiEewtJAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"19d37f9e50c7f6c2f79c8efcc3a29f86bd6459b5697b3d74b93296eab74529f7","last_reissued_at":"2026-07-05T10:14:24.898251Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:14:24.898251Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.00843","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-05T10:14:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lJwaWh4Sd1BxyxjLSxRirgC+S7AIzamYPre5C4HHV8DDQzi59lwmHDxnwDFhHHg16c02H52gyqRTIa86xFqZDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T09:41:58.167702Z"},"content_sha256":"f06fdc89ea7977dd9c0c38b71950d09f07d1795775b405c3fe30066e1daecc31","schema_version":"1.0","event_id":"sha256:f06fdc89ea7977dd9c0c38b71950d09f07d1795775b405c3fe30066e1daecc31"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:DHJX7HSQY73MF544R36MHIU7Q2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Graph's Apprentice: Teaching an LLM Low Level Knowledge for Circuit Quality Estimation","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.AR","cs.CL"],"primary_cat":"cs.LG","authors_text":"Didier Chetelat, Dimitrios Tsaras, Hui-Ling Zhen, Jianye Hao, Mingxuan Yuan, Reza Moravej, Saurabh Bodhe, Yingxue Zhang, Zhanguang Zhang","submitted_at":"2024-10-30T04:20:10Z","abstract_excerpt":"Logic synthesis is a crucial phase in the circuit design process, responsible for transforming hardware description language (HDL) designs into optimized netlists. However, traditional logic synthesis methods are computationally intensive, restricting their iterative use in refining chip designs. Recent advancements in large language models (LLMs), particularly those fine-tuned on programming languages, present a promising alternative. This work proposes augmenting LLMs with predictor networks trained to estimate circuit quality directly from HDL code. To enhance performance, the model is regu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.00843","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/2411.00843/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:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xZ0PBKpX/iFVg2WHckBXrcTdE5/lAWaLq/spiEnvXwYv+nMgx7rw7UysRtVK93XlgzP9quO62QKNkTHC+0FYBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T09:41:58.168235Z"},"content_sha256":"53559e5674cda47ceb07c3e4eb88c67a0e98d6e615c3cebb21b0b707c1db95ff","schema_version":"1.0","event_id":"sha256:53559e5674cda47ceb07c3e4eb88c67a0e98d6e615c3cebb21b0b707c1db95ff"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DHJX7HSQY73MF544R36MHIU7Q2/bundle.json","state_url":"https://pith.science/pith/DHJX7HSQY73MF544R36MHIU7Q2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DHJX7HSQY73MF544R36MHIU7Q2/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-14T09:41:58Z","links":{"resolver":"https://pith.science/pith/DHJX7HSQY73MF544R36MHIU7Q2","bundle":"https://pith.science/pith/DHJX7HSQY73MF544R36MHIU7Q2/bundle.json","state":"https://pith.science/pith/DHJX7HSQY73MF544R36MHIU7Q2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DHJX7HSQY73MF544R36MHIU7Q2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:DHJX7HSQY73MF544R36MHIU7Q2","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":"65c335f6e13ec509960161d83966d8d7d5ae8b5ea2f67a6bc44e24fde284beeb","cross_cats_sorted":["cs.AI","cs.AR","cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-30T04:20:10Z","title_canon_sha256":"5599e9e3ac5561924133c856a449b59d9b605b24997af1d941e5dce02949711d"},"schema_version":"1.0","source":{"id":"2411.00843","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.00843","created_at":"2026-07-05T10:14:24Z"},{"alias_kind":"arxiv_version","alias_value":"2411.00843v2","created_at":"2026-07-05T10:14:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.00843","created_at":"2026-07-05T10:14:24Z"},{"alias_kind":"pith_short_12","alias_value":"DHJX7HSQY73M","created_at":"2026-07-05T10:14:24Z"},{"alias_kind":"pith_short_16","alias_value":"DHJX7HSQY73MF544","created_at":"2026-07-05T10:14:24Z"},{"alias_kind":"pith_short_8","alias_value":"DHJX7HSQ","created_at":"2026-07-05T10:14:24Z"}],"graph_snapshots":[{"event_id":"sha256:53559e5674cda47ceb07c3e4eb88c67a0e98d6e615c3cebb21b0b707c1db95ff","target":"graph","created_at":"2026-07-05T10:14:24Z","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/2411.00843/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Logic synthesis is a crucial phase in the circuit design process, responsible for transforming hardware description language (HDL) designs into optimized netlists. However, traditional logic synthesis methods are computationally intensive, restricting their iterative use in refining chip designs. Recent advancements in large language models (LLMs), particularly those fine-tuned on programming languages, present a promising alternative. This work proposes augmenting LLMs with predictor networks trained to estimate circuit quality directly from HDL code. To enhance performance, the model is regu","authors_text":"Didier Chetelat, Dimitrios Tsaras, Hui-Ling Zhen, Jianye Hao, Mingxuan Yuan, Reza Moravej, Saurabh Bodhe, Yingxue Zhang, Zhanguang Zhang","cross_cats":["cs.AI","cs.AR","cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-30T04:20:10Z","title":"The Graph's Apprentice: Teaching an LLM Low Level Knowledge for Circuit Quality Estimation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.00843","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:f06fdc89ea7977dd9c0c38b71950d09f07d1795775b405c3fe30066e1daecc31","target":"record","created_at":"2026-07-05T10:14:24Z","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":"65c335f6e13ec509960161d83966d8d7d5ae8b5ea2f67a6bc44e24fde284beeb","cross_cats_sorted":["cs.AI","cs.AR","cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-30T04:20:10Z","title_canon_sha256":"5599e9e3ac5561924133c856a449b59d9b605b24997af1d941e5dce02949711d"},"schema_version":"1.0","source":{"id":"2411.00843","kind":"arxiv","version":2}},"canonical_sha256":"19d37f9e50c7f6c2f79c8efcc3a29f86bd6459b5697b3d74b93296eab74529f7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"19d37f9e50c7f6c2f79c8efcc3a29f86bd6459b5697b3d74b93296eab74529f7","first_computed_at":"2026-07-05T10:14:24.898251Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:14:24.898251Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+owP0AOaXMlsJOoFHBU85+Ca3CXPbrFsOEKhrK/5glN+jN5+qxanZRdnVUUDKJXmEzCRwen3Adz2BqiEewtJAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:14:24.898730Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.00843","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f06fdc89ea7977dd9c0c38b71950d09f07d1795775b405c3fe30066e1daecc31","sha256:53559e5674cda47ceb07c3e4eb88c67a0e98d6e615c3cebb21b0b707c1db95ff"],"state_sha256":"457f5c90fabecaa6a10285a28245838b29a48f679bd78b596866f44d159d3643"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bxffbAetn/xQSB/W7py2myvGfgS5DS8NHqCC+8FHAbtq23e/er/c2POILZVUSItAC/LoTIAQUT5KBakLR1MtDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T09:41:58.172695Z","bundle_sha256":"706c02a03ecd4b881cb26fa786c20affd813ab4b8f1cf1a8250bc6238e9be3c3"}}