{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:57FXF35IXECHRECX7RKRU6NBUC","short_pith_number":"pith:57FXF35I","canonical_record":{"source":{"id":"2304.02195","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-05T02:34:10Z","cross_cats_sorted":[],"title_canon_sha256":"f878053e1a075db142fe9f5560c2354816168a7d4e2d14d781adbcd0822f4143","abstract_canon_sha256":"8e26d58058d2481d85cb0acfb122c7c72314aa7025023882050bb8f13a59b4c0"},"schema_version":"1.0"},"canonical_sha256":"efcb72efa8b904789057fc551a79a1a0925f2136a88ed8e938f1044b2f9d72b3","source":{"kind":"arxiv","id":"2304.02195","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.02195","created_at":"2026-07-05T05:58:22Z"},{"alias_kind":"arxiv_version","alias_value":"2304.02195v1","created_at":"2026-07-05T05:58:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.02195","created_at":"2026-07-05T05:58:22Z"},{"alias_kind":"pith_short_12","alias_value":"57FXF35IXECH","created_at":"2026-07-05T05:58:22Z"},{"alias_kind":"pith_short_16","alias_value":"57FXF35IXECHRECX","created_at":"2026-07-05T05:58:22Z"},{"alias_kind":"pith_short_8","alias_value":"57FXF35I","created_at":"2026-07-05T05:58:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:57FXF35IXECHRECX7RKRU6NBUC","target":"record","payload":{"canonical_record":{"source":{"id":"2304.02195","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-05T02:34:10Z","cross_cats_sorted":[],"title_canon_sha256":"f878053e1a075db142fe9f5560c2354816168a7d4e2d14d781adbcd0822f4143","abstract_canon_sha256":"8e26d58058d2481d85cb0acfb122c7c72314aa7025023882050bb8f13a59b4c0"},"schema_version":"1.0"},"canonical_sha256":"efcb72efa8b904789057fc551a79a1a0925f2136a88ed8e938f1044b2f9d72b3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:58:22.999107Z","signature_b64":"nnts3bIf5sLVbJhI72dU/SUPYETRkWLlORHwHgy/NFaqux4RQuKZtkcFNCInYHU9BslRoJ9R9yJETG2nNUPqAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"efcb72efa8b904789057fc551a79a1a0925f2136a88ed8e938f1044b2f9d72b3","last_reissued_at":"2026-07-05T05:58:22.998660Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:58:22.998660Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2304.02195","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-05T05:58:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cHppO5vSfWKL4GhVJePOXD+tbjqjBKPgGrU9TsAfpLBcYa5+cNwHEH+lHZ5DR9Y4GE+Pju1m2+lUVVB2CDpxAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T08:48:25.161930Z"},"content_sha256":"1bae074aa401127efaf7179f23799de47c3175df8bbecf877201bfbaa6a6eb3d","schema_version":"1.0","event_id":"sha256:1bae074aa401127efaf7179f23799de47c3175df8bbecf877201bfbaa6a6eb3d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:57FXF35IXECHRECX7RKRU6NBUC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Explainable Automated Debugging via Large Language Model-driven Scientific Debugging","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bei Chen, Jian-Guang Lou, Shin Yoo, Sungmin Kang","submitted_at":"2023-04-05T02:34:10Z","abstract_excerpt":"Automated debugging techniques have the potential to reduce developer effort in debugging, and have matured enough to be adopted by industry. However, one critical issue with existing techniques is that, while developers want rationales for the provided automatic debugging results, existing techniques are ill-suited to provide them, as their deduction process differs significantly from that of human developers. Inspired by the way developers interact with code when debugging, we propose Automated Scientific Debugging (AutoSD), a technique that given buggy code and a bug-revealing test, prompts"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.02195","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/2304.02195/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-05T05:58:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vhdS+drApvTg+hH0Cp7I32wFv9h+ada+9U6vvKPnL1NkvDjp76tx3erY14l7NkEOHpw1wBIJ/F1JrKp8mKU/BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T08:48:25.162423Z"},"content_sha256":"7b3fea2bbf01e8961b3783969ed055952a22cf75412448881001f5e3e03a3c10","schema_version":"1.0","event_id":"sha256:7b3fea2bbf01e8961b3783969ed055952a22cf75412448881001f5e3e03a3c10"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC/bundle.json","state_url":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/57FXF35IXECHRECX7RKRU6NBUC/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-08T08:48:25Z","links":{"resolver":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC","bundle":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC/bundle.json","state":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/57FXF35IXECHRECX7RKRU6NBUC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:57FXF35IXECHRECX7RKRU6NBUC","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":"8e26d58058d2481d85cb0acfb122c7c72314aa7025023882050bb8f13a59b4c0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-05T02:34:10Z","title_canon_sha256":"f878053e1a075db142fe9f5560c2354816168a7d4e2d14d781adbcd0822f4143"},"schema_version":"1.0","source":{"id":"2304.02195","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.02195","created_at":"2026-07-05T05:58:22Z"},{"alias_kind":"arxiv_version","alias_value":"2304.02195v1","created_at":"2026-07-05T05:58:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.02195","created_at":"2026-07-05T05:58:22Z"},{"alias_kind":"pith_short_12","alias_value":"57FXF35IXECH","created_at":"2026-07-05T05:58:22Z"},{"alias_kind":"pith_short_16","alias_value":"57FXF35IXECHRECX","created_at":"2026-07-05T05:58:22Z"},{"alias_kind":"pith_short_8","alias_value":"57FXF35I","created_at":"2026-07-05T05:58:22Z"}],"graph_snapshots":[{"event_id":"sha256:7b3fea2bbf01e8961b3783969ed055952a22cf75412448881001f5e3e03a3c10","target":"graph","created_at":"2026-07-05T05:58:22Z","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/2304.02195/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automated debugging techniques have the potential to reduce developer effort in debugging, and have matured enough to be adopted by industry. However, one critical issue with existing techniques is that, while developers want rationales for the provided automatic debugging results, existing techniques are ill-suited to provide them, as their deduction process differs significantly from that of human developers. Inspired by the way developers interact with code when debugging, we propose Automated Scientific Debugging (AutoSD), a technique that given buggy code and a bug-revealing test, prompts","authors_text":"Bei Chen, Jian-Guang Lou, Shin Yoo, Sungmin Kang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-05T02:34:10Z","title":"Explainable Automated Debugging via Large Language Model-driven Scientific Debugging"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.02195","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:1bae074aa401127efaf7179f23799de47c3175df8bbecf877201bfbaa6a6eb3d","target":"record","created_at":"2026-07-05T05:58:22Z","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":"8e26d58058d2481d85cb0acfb122c7c72314aa7025023882050bb8f13a59b4c0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-05T02:34:10Z","title_canon_sha256":"f878053e1a075db142fe9f5560c2354816168a7d4e2d14d781adbcd0822f4143"},"schema_version":"1.0","source":{"id":"2304.02195","kind":"arxiv","version":1}},"canonical_sha256":"efcb72efa8b904789057fc551a79a1a0925f2136a88ed8e938f1044b2f9d72b3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"efcb72efa8b904789057fc551a79a1a0925f2136a88ed8e938f1044b2f9d72b3","first_computed_at":"2026-07-05T05:58:22.998660Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:58:22.998660Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nnts3bIf5sLVbJhI72dU/SUPYETRkWLlORHwHgy/NFaqux4RQuKZtkcFNCInYHU9BslRoJ9R9yJETG2nNUPqAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:58:22.999107Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.02195","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1bae074aa401127efaf7179f23799de47c3175df8bbecf877201bfbaa6a6eb3d","sha256:7b3fea2bbf01e8961b3783969ed055952a22cf75412448881001f5e3e03a3c10"],"state_sha256":"e6a0cb7ada2449db5cf53671ae9644d9c8941165466af7a2f9b00974458e35b2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dFAKxeaUmyzz+jvb0YvHUNT2XK36g2Qod3PllMA3ViZUm/Rl7wDRHM64orji1GHvrlqeDRjPEAUPRZnW6HApCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T08:48:25.167869Z","bundle_sha256":"6020a4922c6297d2a55bf3fb4e4aaf1a192cd5d7354c0a4acc294bc8587f9e9d"}}