{"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"}