{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:WCBFZDNGFNZHAAQ2WEAIUUTHFR","short_pith_number":"pith:WCBFZDNG","canonical_record":{"source":{"id":"2402.16906","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-02-25T00:56:27Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"81f9994e16e91ef49cc5d6dcf6bc01aee9e707d9035aa40134a0b4204ac0af74","abstract_canon_sha256":"bf4fb918cd87c6d47dab4aa418fe35be09fffc692838a5472756a7b4e8bb63bf"},"schema_version":"1.0"},"canonical_sha256":"b0825c8da62b7270021ab1008a52672c4c877ef2c7347fab99354803b69843cf","source":{"kind":"arxiv","id":"2402.16906","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.16906","created_at":"2026-07-05T08:29:45Z"},{"alias_kind":"arxiv_version","alias_value":"2402.16906v6","created_at":"2026-07-05T08:29:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.16906","created_at":"2026-07-05T08:29:45Z"},{"alias_kind":"pith_short_12","alias_value":"WCBFZDNGFNZH","created_at":"2026-07-05T08:29:45Z"},{"alias_kind":"pith_short_16","alias_value":"WCBFZDNGFNZHAAQ2","created_at":"2026-07-05T08:29:45Z"},{"alias_kind":"pith_short_8","alias_value":"WCBFZDNG","created_at":"2026-07-05T08:29:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:WCBFZDNGFNZHAAQ2WEAIUUTHFR","target":"record","payload":{"canonical_record":{"source":{"id":"2402.16906","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-02-25T00:56:27Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"81f9994e16e91ef49cc5d6dcf6bc01aee9e707d9035aa40134a0b4204ac0af74","abstract_canon_sha256":"bf4fb918cd87c6d47dab4aa418fe35be09fffc692838a5472756a7b4e8bb63bf"},"schema_version":"1.0"},"canonical_sha256":"b0825c8da62b7270021ab1008a52672c4c877ef2c7347fab99354803b69843cf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:29:45.987991Z","signature_b64":"Ulr1o/+3rWOp7FgBhqPN/p6zRQH+HdnxiBDX+WfR8v3bvXwjxRT1NFqcAjWrtBtX9QCBuw0+aiYo7tA7+ycECA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b0825c8da62b7270021ab1008a52672c4c877ef2c7347fab99354803b69843cf","last_reissued_at":"2026-07-05T08:29:45.987575Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:29:45.987575Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.16906","source_version":6,"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-05T08:29:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"01fx0skSKLh3BelcCrCz25X+Sng9vshbWhOvJsrmMYG1wNoi0lhiVdEZw1Ksl2tTkiUP0E44EjhnybfrKr45Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T19:53:23.680834Z"},"content_sha256":"2ddfe7ef92bfce73969c35202e150785495b7da476dfb5a6d63f21b73b9d67f5","schema_version":"1.0","event_id":"sha256:2ddfe7ef92bfce73969c35202e150785495b7da476dfb5a6d63f21b73b9d67f5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:WCBFZDNGFNZHAAQ2WEAIUUTHFR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step-by-step","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.SE","authors_text":"Jingbo Shang, Li Zhong, Zilong Wang","submitted_at":"2024-02-25T00:56:27Z","abstract_excerpt":"Large language models (LLMs) are leading significant progress in code generation. Beyond one-pass code generation, recent works further integrate unit tests and program verifiers into LLMs to iteratively refine the generated programs. However, these works consider the generated programs as an indivisible entity, which falls short for LLMs in debugging the programs, especially when the programs contain complex logic flows and data operations. In contrast, when human developers debug programs, they typically set breakpoints and selectively examine runtime execution information. The execution flo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.16906","kind":"arxiv","version":6},"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/2402.16906/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-05T08:29:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WibS4Y7acezF5rcQrQehZ8LyYJT5/8vdFnr7b8iDeJirvhP6P2ySd7IhXGSsk7TzIGccggBup50QX9ddNAj9AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T19:53:23.681448Z"},"content_sha256":"e27a9b3d2843027f51e530609d81d93375baa504fd27a8d12b86b9bc852bd9f1","schema_version":"1.0","event_id":"sha256:e27a9b3d2843027f51e530609d81d93375baa504fd27a8d12b86b9bc852bd9f1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WCBFZDNGFNZHAAQ2WEAIUUTHFR/bundle.json","state_url":"https://pith.science/pith/WCBFZDNGFNZHAAQ2WEAIUUTHFR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WCBFZDNGFNZHAAQ2WEAIUUTHFR/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-07T19:53:23Z","links":{"resolver":"https://pith.science/pith/WCBFZDNGFNZHAAQ2WEAIUUTHFR","bundle":"https://pith.science/pith/WCBFZDNGFNZHAAQ2WEAIUUTHFR/bundle.json","state":"https://pith.science/pith/WCBFZDNGFNZHAAQ2WEAIUUTHFR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WCBFZDNGFNZHAAQ2WEAIUUTHFR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:WCBFZDNGFNZHAAQ2WEAIUUTHFR","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":"bf4fb918cd87c6d47dab4aa418fe35be09fffc692838a5472756a7b4e8bb63bf","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-02-25T00:56:27Z","title_canon_sha256":"81f9994e16e91ef49cc5d6dcf6bc01aee9e707d9035aa40134a0b4204ac0af74"},"schema_version":"1.0","source":{"id":"2402.16906","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.16906","created_at":"2026-07-05T08:29:45Z"},{"alias_kind":"arxiv_version","alias_value":"2402.16906v6","created_at":"2026-07-05T08:29:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.16906","created_at":"2026-07-05T08:29:45Z"},{"alias_kind":"pith_short_12","alias_value":"WCBFZDNGFNZH","created_at":"2026-07-05T08:29:45Z"},{"alias_kind":"pith_short_16","alias_value":"WCBFZDNGFNZHAAQ2","created_at":"2026-07-05T08:29:45Z"},{"alias_kind":"pith_short_8","alias_value":"WCBFZDNG","created_at":"2026-07-05T08:29:45Z"}],"graph_snapshots":[{"event_id":"sha256:e27a9b3d2843027f51e530609d81d93375baa504fd27a8d12b86b9bc852bd9f1","target":"graph","created_at":"2026-07-05T08:29:45Z","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.16906/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) are leading significant progress in code generation. Beyond one-pass code generation, recent works further integrate unit tests and program verifiers into LLMs to iteratively refine the generated programs. However, these works consider the generated programs as an indivisible entity, which falls short for LLMs in debugging the programs, especially when the programs contain complex logic flows and data operations. In contrast, when human developers debug programs, they typically set breakpoints and selectively examine runtime execution information. The execution flo","authors_text":"Jingbo Shang, Li Zhong, Zilong Wang","cross_cats":["cs.AI","cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-02-25T00:56:27Z","title":"Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step-by-step"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.16906","kind":"arxiv","version":6},"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:2ddfe7ef92bfce73969c35202e150785495b7da476dfb5a6d63f21b73b9d67f5","target":"record","created_at":"2026-07-05T08:29:45Z","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":"bf4fb918cd87c6d47dab4aa418fe35be09fffc692838a5472756a7b4e8bb63bf","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-02-25T00:56:27Z","title_canon_sha256":"81f9994e16e91ef49cc5d6dcf6bc01aee9e707d9035aa40134a0b4204ac0af74"},"schema_version":"1.0","source":{"id":"2402.16906","kind":"arxiv","version":6}},"canonical_sha256":"b0825c8da62b7270021ab1008a52672c4c877ef2c7347fab99354803b69843cf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b0825c8da62b7270021ab1008a52672c4c877ef2c7347fab99354803b69843cf","first_computed_at":"2026-07-05T08:29:45.987575Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:29:45.987575Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ulr1o/+3rWOp7FgBhqPN/p6zRQH+HdnxiBDX+WfR8v3bvXwjxRT1NFqcAjWrtBtX9QCBuw0+aiYo7tA7+ycECA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:29:45.987991Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.16906","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2ddfe7ef92bfce73969c35202e150785495b7da476dfb5a6d63f21b73b9d67f5","sha256:e27a9b3d2843027f51e530609d81d93375baa504fd27a8d12b86b9bc852bd9f1"],"state_sha256":"80bb18d8131a29a1c3d1e85a2687df82555b12bb1143080fdc436ceed4bc5138"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HSj2LLGl5kIKXdhoCrvPillytF+3DM1mpU8+8fEe08cq9nHS4m2cFJjatYx3PIahuSfxYbMRKkZIZ/i4X/GHCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T19:53:23.686852Z","bundle_sha256":"fbe9d3b321f18367e84f3d36ed84603cdeeb85516b84db0b1e74ae97d0598e00"}}