{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:3TM3ZWLLPO3M5XOU66LO5YYAOT","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":"d8db0eec2b047c0f90dc40f22bfe1f6866dba713b8d8a41653af865e0e85d719","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2024-07-04T12:29:06Z","title_canon_sha256":"37a2782ce73e10e28494a563bd97903d1180f3e7c39554f1c28f3e86aa472227"},"schema_version":"1.0","source":{"id":"2407.03889","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.03889","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"arxiv_version","alias_value":"2407.03889v1","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.03889","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"pith_short_12","alias_value":"3TM3ZWLLPO3M","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"pith_short_16","alias_value":"3TM3ZWLLPO3M5XOU","created_at":"2026-07-05T08:40:25Z"},{"alias_kind":"pith_short_8","alias_value":"3TM3ZWLL","created_at":"2026-07-05T08:40:25Z"}],"graph_snapshots":[{"event_id":"sha256:79d5cea5011b0786df279b623f6a0604af9bc087690ea15753e6b6438c1b1069","target":"graph","created_at":"2026-07-05T08:40:25Z","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/2407.03889/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In High-Level Synthesis (HLS), converting a regular C/C++ program into its HLS-compatible counterpart (HLS-C) still requires tremendous manual effort. Various program scripts have been introduced to automate this process. But the resulting codes usually contain many issues that should be manually repaired by developers. Since Large Language Models (LLMs) have the ability to automate code generation, they can also be used for automated program repair in HLS. However, due to the limited training of LLMs considering hardware and software simultaneously, hallucinations may occur during program rep","authors_text":"Bing Li, Cheng Zhuo, Grace Li Zhang, Kangwei Xu, Ulf Schlichtmann, Xunzhao Yin","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2024-07-04T12:29:06Z","title":"Automated C/C++ Program Repair for High-Level Synthesis via Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.03889","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:87076daac7a175ba42fdc3666142ddc449e274e0a6858349e99d4e7e53daefbb","target":"record","created_at":"2026-07-05T08:40:25Z","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":"d8db0eec2b047c0f90dc40f22bfe1f6866dba713b8d8a41653af865e0e85d719","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2024-07-04T12:29:06Z","title_canon_sha256":"37a2782ce73e10e28494a563bd97903d1180f3e7c39554f1c28f3e86aa472227"},"schema_version":"1.0","source":{"id":"2407.03889","kind":"arxiv","version":1}},"canonical_sha256":"dcd9bcd96b7bb6ceddd4f796eee30074f0150fb0f2c55f56f3efba56af94c491","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dcd9bcd96b7bb6ceddd4f796eee30074f0150fb0f2c55f56f3efba56af94c491","first_computed_at":"2026-07-05T08:40:25.430671Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:40:25.430671Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MAWlCsWU9wjcxgmLTVV/jmuJ/ZLrknIVdb0Ytn/dTbT/3QCEzFOwjh0cIEFAXDlwB6MraW6jpsDQYoKKjwllCA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:40:25.431048Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.03889","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:87076daac7a175ba42fdc3666142ddc449e274e0a6858349e99d4e7e53daefbb","sha256:79d5cea5011b0786df279b623f6a0604af9bc087690ea15753e6b6438c1b1069"],"state_sha256":"036967aa87f451a306704274855629a0e0347df24f513bd149bea9f33ef39dfc"}