{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:I3I6RI5HH75IDCUQWALAKMOLHZ","short_pith_number":"pith:I3I6RI5H","canonical_record":{"source":{"id":"2306.00757","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-06-01T14:52:59Z","cross_cats_sorted":[],"title_canon_sha256":"2ead4744138171c63341f72c2e3089566326fdddc16b4d84ef6bb0947074034a","abstract_canon_sha256":"1eb37d64d4b8fb864e8d991dc26e5b7a5395e11ddee035a181cdfbe401212545"},"schema_version":"1.0"},"canonical_sha256":"46d1e8a3a73ffa818a90b0160531cb3e4e65d99b626d1d811618f8477a499d0a","source":{"kind":"arxiv","id":"2306.00757","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.00757","created_at":"2026-07-05T06:16:30Z"},{"alias_kind":"arxiv_version","alias_value":"2306.00757v1","created_at":"2026-07-05T06:16:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.00757","created_at":"2026-07-05T06:16:30Z"},{"alias_kind":"pith_short_12","alias_value":"I3I6RI5HH75I","created_at":"2026-07-05T06:16:30Z"},{"alias_kind":"pith_short_16","alias_value":"I3I6RI5HH75IDCUQ","created_at":"2026-07-05T06:16:30Z"},{"alias_kind":"pith_short_8","alias_value":"I3I6RI5H","created_at":"2026-07-05T06:16:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:I3I6RI5HH75IDCUQWALAKMOLHZ","target":"record","payload":{"canonical_record":{"source":{"id":"2306.00757","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-06-01T14:52:59Z","cross_cats_sorted":[],"title_canon_sha256":"2ead4744138171c63341f72c2e3089566326fdddc16b4d84ef6bb0947074034a","abstract_canon_sha256":"1eb37d64d4b8fb864e8d991dc26e5b7a5395e11ddee035a181cdfbe401212545"},"schema_version":"1.0"},"canonical_sha256":"46d1e8a3a73ffa818a90b0160531cb3e4e65d99b626d1d811618f8477a499d0a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:16:30.692166Z","signature_b64":"3ReS+gm29MrNMolfweih3fNvxVvubpyfQPr9hP6MWfCMSA1xSETou8ypE0kUxe+lnGRshjrOHq8qp8HKaUOSAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"46d1e8a3a73ffa818a90b0160531cb3e4e65d99b626d1d811618f8477a499d0a","last_reissued_at":"2026-07-05T06:16:30.691603Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:16:30.691603Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2306.00757","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-05T06:16:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KGAJJTRJRGiRucuNoLy5Fuc1qunh1TVe5GibGqQ74XnbHoHYY/Jr4ETcJIsK8MXXyolFLRO7GsxVeUr5kH3OAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:20:15.699250Z"},"content_sha256":"06e9b75184271a69f16b0a7ab6a450b10ecfe8eea54b89f63dbfe29968850de8","schema_version":"1.0","event_id":"sha256:06e9b75184271a69f16b0a7ab6a450b10ecfe8eea54b89f63dbfe29968850de8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:I3I6RI5HH75IDCUQWALAKMOLHZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"AI Chain on Large Language Model for Unsupervised Control Flow Graph Generation for Statically-Typed Partial Code","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Qinghua Lu, Qing Huang, Xiwei Xu, Zhenchang Xing, Zhenkang Zuo, Zhou Zou","submitted_at":"2023-06-01T14:52:59Z","abstract_excerpt":"Control Flow Graphs (CFGs) are essential for visualizing, understanding and analyzing program behavior. For statically-typed programming language like Java, developers obtain CFGs by using bytecode-based methods for compilable code and Abstract Syntax Tree (AST)-based methods for partially uncompilable code. However, explicit syntax errors during AST construction and implicit semantic errors caused by bad coding practices can lead to behavioral loss and deviation of CFGs.To address the issue, we propose a novel approach that leverages the error-tolerant and understanding ability of pre-trained"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.00757","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/2306.00757/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-05T06:16:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yVWb9VkmvEHhFJ4tXg7d/3akOq/Uxc1VUFZ1X3bb2Mrn3JIcocH9DtXt/TqZlkSJo5mSFqzRpzpnlJwdXak7Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:20:15.699739Z"},"content_sha256":"639f8593fdd3965617af7ad927de1d46e2399d5c3e3340387e8fb5f5de14a783","schema_version":"1.0","event_id":"sha256:639f8593fdd3965617af7ad927de1d46e2399d5c3e3340387e8fb5f5de14a783"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I3I6RI5HH75IDCUQWALAKMOLHZ/bundle.json","state_url":"https://pith.science/pith/I3I6RI5HH75IDCUQWALAKMOLHZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I3I6RI5HH75IDCUQWALAKMOLHZ/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-08T11:20:15Z","links":{"resolver":"https://pith.science/pith/I3I6RI5HH75IDCUQWALAKMOLHZ","bundle":"https://pith.science/pith/I3I6RI5HH75IDCUQWALAKMOLHZ/bundle.json","state":"https://pith.science/pith/I3I6RI5HH75IDCUQWALAKMOLHZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I3I6RI5HH75IDCUQWALAKMOLHZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:I3I6RI5HH75IDCUQWALAKMOLHZ","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":"1eb37d64d4b8fb864e8d991dc26e5b7a5395e11ddee035a181cdfbe401212545","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-06-01T14:52:59Z","title_canon_sha256":"2ead4744138171c63341f72c2e3089566326fdddc16b4d84ef6bb0947074034a"},"schema_version":"1.0","source":{"id":"2306.00757","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.00757","created_at":"2026-07-05T06:16:30Z"},{"alias_kind":"arxiv_version","alias_value":"2306.00757v1","created_at":"2026-07-05T06:16:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.00757","created_at":"2026-07-05T06:16:30Z"},{"alias_kind":"pith_short_12","alias_value":"I3I6RI5HH75I","created_at":"2026-07-05T06:16:30Z"},{"alias_kind":"pith_short_16","alias_value":"I3I6RI5HH75IDCUQ","created_at":"2026-07-05T06:16:30Z"},{"alias_kind":"pith_short_8","alias_value":"I3I6RI5H","created_at":"2026-07-05T06:16:30Z"}],"graph_snapshots":[{"event_id":"sha256:639f8593fdd3965617af7ad927de1d46e2399d5c3e3340387e8fb5f5de14a783","target":"graph","created_at":"2026-07-05T06:16:30Z","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/2306.00757/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Control Flow Graphs (CFGs) are essential for visualizing, understanding and analyzing program behavior. For statically-typed programming language like Java, developers obtain CFGs by using bytecode-based methods for compilable code and Abstract Syntax Tree (AST)-based methods for partially uncompilable code. However, explicit syntax errors during AST construction and implicit semantic errors caused by bad coding practices can lead to behavioral loss and deviation of CFGs.To address the issue, we propose a novel approach that leverages the error-tolerant and understanding ability of pre-trained","authors_text":"Qinghua Lu, Qing Huang, Xiwei Xu, Zhenchang Xing, Zhenkang Zuo, Zhou Zou","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-06-01T14:52:59Z","title":"AI Chain on Large Language Model for Unsupervised Control Flow Graph Generation for Statically-Typed Partial Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.00757","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:06e9b75184271a69f16b0a7ab6a450b10ecfe8eea54b89f63dbfe29968850de8","target":"record","created_at":"2026-07-05T06:16:30Z","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":"1eb37d64d4b8fb864e8d991dc26e5b7a5395e11ddee035a181cdfbe401212545","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-06-01T14:52:59Z","title_canon_sha256":"2ead4744138171c63341f72c2e3089566326fdddc16b4d84ef6bb0947074034a"},"schema_version":"1.0","source":{"id":"2306.00757","kind":"arxiv","version":1}},"canonical_sha256":"46d1e8a3a73ffa818a90b0160531cb3e4e65d99b626d1d811618f8477a499d0a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"46d1e8a3a73ffa818a90b0160531cb3e4e65d99b626d1d811618f8477a499d0a","first_computed_at":"2026-07-05T06:16:30.691603Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:16:30.691603Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3ReS+gm29MrNMolfweih3fNvxVvubpyfQPr9hP6MWfCMSA1xSETou8ypE0kUxe+lnGRshjrOHq8qp8HKaUOSAA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:16:30.692166Z","signed_message":"canonical_sha256_bytes"},"source_id":"2306.00757","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:06e9b75184271a69f16b0a7ab6a450b10ecfe8eea54b89f63dbfe29968850de8","sha256:639f8593fdd3965617af7ad927de1d46e2399d5c3e3340387e8fb5f5de14a783"],"state_sha256":"5fdb598e470db4979acd46a6abf3b0ab5f741e748cb28c8d15ad158ce67a3ea2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W7g4FcKud9e1ZJpx4ub7sFYNZBnX1b9psPp9yEEKVS7jmIpABF/I1fu0pmzbi8PYe+d+ukVMReSlpt0mKhqfBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T11:20:15.703987Z","bundle_sha256":"18d9d6cca61349c73d5167dd3a1f58be06c80c062f4ad96ca03083657eb0bc05"}}