{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:57FXF35IXECHRECX7RKRU6NBUC","short_pith_number":"pith:57FXF35I","schema_version":"1.0","canonical_sha256":"efcb72efa8b904789057fc551a79a1a0925f2136a88ed8e938f1044b2f9d72b3","source":{"kind":"arxiv","id":"2304.02195","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2304.02195","created_at":"2026-07-05T05:58:22.998726+00:00"},{"alias_kind":"arxiv_version","alias_value":"2304.02195v1","created_at":"2026-07-05T05:58:22.998726+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.02195","created_at":"2026-07-05T05:58:22.998726+00:00"},{"alias_kind":"pith_short_12","alias_value":"57FXF35IXECH","created_at":"2026-07-05T05:58:22.998726+00:00"},{"alias_kind":"pith_short_16","alias_value":"57FXF35IXECHRECX","created_at":"2026-07-05T05:58:22.998726+00:00"},{"alias_kind":"pith_short_8","alias_value":"57FXF35I","created_at":"2026-07-05T05:58:22.998726+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":4,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.17444","citing_title":"MemRepair: Hierarchical Memory for Agentic Repository-Level Vulnerability Repair","ref_index":21,"is_internal_anchor":false},{"citing_arxiv_id":"2506.01249","citing_title":"SysLLMatic: Large Language Models are Software System Optimizers","ref_index":60,"is_internal_anchor":false},{"citing_arxiv_id":"2403.17134","citing_title":"RepairAgent: An Autonomous, LLM-Based Agent for Program Repair","ref_index":21,"is_internal_anchor":false},{"citing_arxiv_id":"2602.18571","citing_title":"Debug2Fix: Can Interactive Debugging Help Coding Agents Fix More Bugs?","ref_index":17,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC","json":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC.json","graph_json":"https://pith.science/api/pith-number/57FXF35IXECHRECX7RKRU6NBUC/graph.json","events_json":"https://pith.science/api/pith-number/57FXF35IXECHRECX7RKRU6NBUC/events.json","paper":"https://pith.science/paper/57FXF35I"},"agent_actions":{"view_html":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC","download_json":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC.json","view_paper":"https://pith.science/paper/57FXF35I","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2304.02195&json=true","fetch_graph":"https://pith.science/api/pith-number/57FXF35IXECHRECX7RKRU6NBUC/graph.json","fetch_events":"https://pith.science/api/pith-number/57FXF35IXECHRECX7RKRU6NBUC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC/action/storage_attestation","attest_author":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC/action/author_attestation","sign_citation":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC/action/citation_signature","submit_replication":"https://pith.science/pith/57FXF35IXECHRECX7RKRU6NBUC/action/replication_record"}},"created_at":"2026-07-05T05:58:22.998726+00:00","updated_at":"2026-07-05T05:58:22.998726+00:00"}