{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FGMN45BB6XYFVJU5FDOQV5ZBQH","short_pith_number":"pith:FGMN45BB","canonical_record":{"source":{"id":"2507.21485","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-29T03:59:19Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f157e50a853d9c2a80922dd9fbf12a31808aed37b1129b8a8c136e3af007429b","abstract_canon_sha256":"e1e6f00581e99d539a29b909ccad584d52e5eb5dffae9bd395bf8acb145316fe"},"schema_version":"1.0"},"canonical_sha256":"2998de7421f5f05aa69d28dd0af72181d3c4b93fe767c020799987c5489ec2c0","source":{"kind":"arxiv","id":"2507.21485","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.21485","created_at":"2026-07-05T11:45:00Z"},{"alias_kind":"arxiv_version","alias_value":"2507.21485v1","created_at":"2026-07-05T11:45:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.21485","created_at":"2026-07-05T11:45:00Z"},{"alias_kind":"pith_short_12","alias_value":"FGMN45BB6XYF","created_at":"2026-07-05T11:45:00Z"},{"alias_kind":"pith_short_16","alias_value":"FGMN45BB6XYFVJU5","created_at":"2026-07-05T11:45:00Z"},{"alias_kind":"pith_short_8","alias_value":"FGMN45BB","created_at":"2026-07-05T11:45:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FGMN45BB6XYFVJU5FDOQV5ZBQH","target":"record","payload":{"canonical_record":{"source":{"id":"2507.21485","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-29T03:59:19Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f157e50a853d9c2a80922dd9fbf12a31808aed37b1129b8a8c136e3af007429b","abstract_canon_sha256":"e1e6f00581e99d539a29b909ccad584d52e5eb5dffae9bd395bf8acb145316fe"},"schema_version":"1.0"},"canonical_sha256":"2998de7421f5f05aa69d28dd0af72181d3c4b93fe767c020799987c5489ec2c0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:45:00.886997Z","signature_b64":"YBl1VP+QgmqtSFoSV7Hr3pUbRSpsRCF8TojoyOWB94OObRfNgcixLtiy38eYcPbmTm8KXzJUru2flynbd4V0Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2998de7421f5f05aa69d28dd0af72181d3c4b93fe767c020799987c5489ec2c0","last_reissued_at":"2026-07-05T11:45:00.886549Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:45:00.886549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.21485","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-05T11:45:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BTMUMiRYvvbcNg2qd5jHVWPw/QpXLZB3UDKFsYkv0yXBm8Ywb676PEmLBO0Aw4oRi4K1uTvPvIEYeHOoVsLjDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T23:21:30.240369Z"},"content_sha256":"217dfa27dc504940d2a6f7f51074fd6ee51dd118d433272f068b0caefd03e27e","schema_version":"1.0","event_id":"sha256:217dfa27dc504940d2a6f7f51074fd6ee51dd118d433272f068b0caefd03e27e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FGMN45BB6XYFVJU5FDOQV5ZBQH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Jing Wang, Shang Liu, Yao Lu, Zhiyao Xie","submitted_at":"2025-07-29T03:59:19Z","abstract_excerpt":"High-level synthesis (HLS) accelerates hardware design by enabling the automatic translation of high-level descriptions into efficient hardware implementations. However, debugging HLS code is a challenging and labor-intensive task, especially for novice circuit designers or software engineers without sufficient hardware domain knowledge. The recent emergence of Large Language Models (LLMs) is promising in automating the HLS debugging process. Despite the great potential, three key challenges persist when applying LLMs to HLS logic debugging: 1) High-quality circuit data for training LLMs is sc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.21485","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/2507.21485/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:45:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oJk+0SooM/f5OeJRnacSZanf2EMLrOA1Z28BveRpfWeP3eGoHAvmgoZ9F5jYZzqV2yOA6enQzXMGpFfrnzlEAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T23:21:30.240906Z"},"content_sha256":"78b35a3c9abfbbfa958fa843bbd7a93fd6526e4dae71539567b781bb5bd2c8bf","schema_version":"1.0","event_id":"sha256:78b35a3c9abfbbfa958fa843bbd7a93fd6526e4dae71539567b781bb5bd2c8bf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FGMN45BB6XYFVJU5FDOQV5ZBQH/bundle.json","state_url":"https://pith.science/pith/FGMN45BB6XYFVJU5FDOQV5ZBQH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FGMN45BB6XYFVJU5FDOQV5ZBQH/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-09T23:21:30Z","links":{"resolver":"https://pith.science/pith/FGMN45BB6XYFVJU5FDOQV5ZBQH","bundle":"https://pith.science/pith/FGMN45BB6XYFVJU5FDOQV5ZBQH/bundle.json","state":"https://pith.science/pith/FGMN45BB6XYFVJU5FDOQV5ZBQH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FGMN45BB6XYFVJU5FDOQV5ZBQH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FGMN45BB6XYFVJU5FDOQV5ZBQH","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":"e1e6f00581e99d539a29b909ccad584d52e5eb5dffae9bd395bf8acb145316fe","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-29T03:59:19Z","title_canon_sha256":"f157e50a853d9c2a80922dd9fbf12a31808aed37b1129b8a8c136e3af007429b"},"schema_version":"1.0","source":{"id":"2507.21485","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.21485","created_at":"2026-07-05T11:45:00Z"},{"alias_kind":"arxiv_version","alias_value":"2507.21485v1","created_at":"2026-07-05T11:45:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.21485","created_at":"2026-07-05T11:45:00Z"},{"alias_kind":"pith_short_12","alias_value":"FGMN45BB6XYF","created_at":"2026-07-05T11:45:00Z"},{"alias_kind":"pith_short_16","alias_value":"FGMN45BB6XYFVJU5","created_at":"2026-07-05T11:45:00Z"},{"alias_kind":"pith_short_8","alias_value":"FGMN45BB","created_at":"2026-07-05T11:45:00Z"}],"graph_snapshots":[{"event_id":"sha256:78b35a3c9abfbbfa958fa843bbd7a93fd6526e4dae71539567b781bb5bd2c8bf","target":"graph","created_at":"2026-07-05T11:45:00Z","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/2507.21485/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"High-level synthesis (HLS) accelerates hardware design by enabling the automatic translation of high-level descriptions into efficient hardware implementations. However, debugging HLS code is a challenging and labor-intensive task, especially for novice circuit designers or software engineers without sufficient hardware domain knowledge. The recent emergence of Large Language Models (LLMs) is promising in automating the HLS debugging process. Despite the great potential, three key challenges persist when applying LLMs to HLS logic debugging: 1) High-quality circuit data for training LLMs is sc","authors_text":"Jing Wang, Shang Liu, Yao Lu, Zhiyao Xie","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-29T03:59:19Z","title":"HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.21485","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:217dfa27dc504940d2a6f7f51074fd6ee51dd118d433272f068b0caefd03e27e","target":"record","created_at":"2026-07-05T11:45:00Z","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":"e1e6f00581e99d539a29b909ccad584d52e5eb5dffae9bd395bf8acb145316fe","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-29T03:59:19Z","title_canon_sha256":"f157e50a853d9c2a80922dd9fbf12a31808aed37b1129b8a8c136e3af007429b"},"schema_version":"1.0","source":{"id":"2507.21485","kind":"arxiv","version":1}},"canonical_sha256":"2998de7421f5f05aa69d28dd0af72181d3c4b93fe767c020799987c5489ec2c0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2998de7421f5f05aa69d28dd0af72181d3c4b93fe767c020799987c5489ec2c0","first_computed_at":"2026-07-05T11:45:00.886549Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:45:00.886549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YBl1VP+QgmqtSFoSV7Hr3pUbRSpsRCF8TojoyOWB94OObRfNgcixLtiy38eYcPbmTm8KXzJUru2flynbd4V0Dg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:45:00.886997Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.21485","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:217dfa27dc504940d2a6f7f51074fd6ee51dd118d433272f068b0caefd03e27e","sha256:78b35a3c9abfbbfa958fa843bbd7a93fd6526e4dae71539567b781bb5bd2c8bf"],"state_sha256":"a1df8d8ad748e2851b2bc7d88082c21f4baef97dcf4dde00ce011b5bdc4fe4a3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WOA+7mbjhJ0t8AyQo/n+2PQz92IR/Eg/sPqfLVpAVuMgYKaE8VUkIzvLg4BeaqDT8S9f5CNLokoIH0vUhY5wAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T23:21:30.245017Z","bundle_sha256":"f8dad9832f7f8775c431037dbf2642225c02f2a78e84d43da54900eb21bb5a7e"}}