{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:TNL3FO2GZTB56FIK6BUVHC4S4W","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":"54446dc82549fe0b59b521fde7d599840ecff9e1b498cf10dd3a4569cd0e525a","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-08T11:55:09Z","title_canon_sha256":"9d70beb11672b719a87836a92ab976269e92b4f345b72b2b005191de61190037"},"schema_version":"1.0","source":{"id":"2404.05427","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.05427","created_at":"2026-07-05T08:48:31Z"},{"alias_kind":"arxiv_version","alias_value":"2404.05427v3","created_at":"2026-07-05T08:48:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.05427","created_at":"2026-07-05T08:48:31Z"},{"alias_kind":"pith_short_12","alias_value":"TNL3FO2GZTB5","created_at":"2026-07-05T08:48:31Z"},{"alias_kind":"pith_short_16","alias_value":"TNL3FO2GZTB56FIK","created_at":"2026-07-05T08:48:31Z"},{"alias_kind":"pith_short_8","alias_value":"TNL3FO2G","created_at":"2026-07-05T08:48:31Z"}],"graph_snapshots":[{"event_id":"sha256:89013846a425b085a553d2be4bffdf02f779873678e44a4f10c17a9d2c21c688","target":"graph","created_at":"2026-07-05T08:48:31Z","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/2404.05427/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Researchers have made significant progress in automating the software development process in the past decades. Recent progress in Large Language Models (LLMs) has significantly impacted the development process, where developers can use LLM-based programming assistants to achieve automated coding. Nevertheless, software engineering involves the process of program improvement apart from coding, specifically to enable software maintenance (e.g. bug fixing) and software evolution (e.g. feature additions). In this paper, we propose an automated approach for solving GitHub issues to autonomously ach","authors_text":"Abhik Roychoudhury, Haifeng Ruan, Yuntong Zhang, Zhiyu Fan","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-08T11:55:09Z","title":"AutoCodeRover: Autonomous Program Improvement"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.05427","kind":"arxiv","version":3},"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:79beccba825e383f1554798ae67fc1572562f0d97e9b9008b01515b0271ec433","target":"record","created_at":"2026-07-05T08:48:31Z","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":"54446dc82549fe0b59b521fde7d599840ecff9e1b498cf10dd3a4569cd0e525a","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-08T11:55:09Z","title_canon_sha256":"9d70beb11672b719a87836a92ab976269e92b4f345b72b2b005191de61190037"},"schema_version":"1.0","source":{"id":"2404.05427","kind":"arxiv","version":3}},"canonical_sha256":"9b57b2bb46ccc3df150af069538b92e5b5f1511985dcbe06c921ba9698f720d9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9b57b2bb46ccc3df150af069538b92e5b5f1511985dcbe06c921ba9698f720d9","first_computed_at":"2026-07-05T08:48:31.637240Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:48:31.637240Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CZOYMGuTZzfzEDGIYgzP1wObroZS4bsxSSCQDLxY9631MDCtWo0qeqyTn/pPDLoKpcsfzqvCWtR5fkWl1bKYBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:48:31.637687Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.05427","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:79beccba825e383f1554798ae67fc1572562f0d97e9b9008b01515b0271ec433","sha256:89013846a425b085a553d2be4bffdf02f779873678e44a4f10c17a9d2c21c688"],"state_sha256":"a782f92314eb093dc2acb59b7766540c4e4db36f03093d710e08abf0d22c7a42"}