{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:ADUVNSRTQ2LSJXKVVCZ7SKT2EV","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":"96b00ca4b6133aedb06fdc71ec0634746c7623eb165aa60a3ac7f21d66c4fc8b","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-02T16:12:32Z","title_canon_sha256":"bba272dbd1b3f4147fc70e637ca500bc3e475809cf5340a9a0499603e5ab21de"},"schema_version":"1.0","source":{"id":"2607.02370","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.02370","created_at":"2026-07-03T01:17:56Z"},{"alias_kind":"arxiv_version","alias_value":"2607.02370v1","created_at":"2026-07-03T01:17:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.02370","created_at":"2026-07-03T01:17:56Z"},{"alias_kind":"pith_short_12","alias_value":"ADUVNSRTQ2LS","created_at":"2026-07-03T01:17:56Z"},{"alias_kind":"pith_short_16","alias_value":"ADUVNSRTQ2LSJXKV","created_at":"2026-07-03T01:17:56Z"},{"alias_kind":"pith_short_8","alias_value":"ADUVNSRT","created_at":"2026-07-03T01:17:56Z"}],"graph_snapshots":[{"event_id":"sha256:493299b253baaaa82c911dc8328e6947fb3b9a610f93453d762dce0e9f999cd9","target":"graph","created_at":"2026-07-03T01:17:56Z","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/2607.02370/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Compiler missed optimizations refer to cases in which compilers failed to optimize certain code. It takes many compiler developers' efforts to implement or patch such missed optimizations. In this paper, we present a systematic study of how well agents patch compiler missed optimizations. We identify a significant challenge that patching a missed optimization requires more than just fixing the reported case, and instead requires generalizing to similar cases. We construct a benchmark of real-world LLVM missed optimization issues and compare agent-generated patches with patches from developers ","authors_text":"Batu Guan, Shaohua Li, Zirui Wang","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-02T16:12:32Z","title":"Understanding Agent-Based Patching of Compiler Missed Optimizations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.02370","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:d5629046184774801d0e429ebb60d5fbbb38ad0cb764d8f0166c0391ae8c6b60","target":"record","created_at":"2026-07-03T01:17:56Z","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":"96b00ca4b6133aedb06fdc71ec0634746c7623eb165aa60a3ac7f21d66c4fc8b","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-02T16:12:32Z","title_canon_sha256":"bba272dbd1b3f4147fc70e637ca500bc3e475809cf5340a9a0499603e5ab21de"},"schema_version":"1.0","source":{"id":"2607.02370","kind":"arxiv","version":1}},"canonical_sha256":"00e956ca33869724dd55a8b3f92a7a257804ae6f9c40f2690d5b5ae1b6c9dd5f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"00e956ca33869724dd55a8b3f92a7a257804ae6f9c40f2690d5b5ae1b6c9dd5f","first_computed_at":"2026-07-03T01:17:56.979115Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-03T01:17:56.979115Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rQBkXSvpw27X5cn3wJzAq2mdwsRBSfYsRCFNYGQxg7HVMamaoZbFL6yXFmFE7fIIydarKOXXfYtk+fJh7tjMCQ==","signature_status":"signed_v1","signed_at":"2026-07-03T01:17:56.979511Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.02370","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d5629046184774801d0e429ebb60d5fbbb38ad0cb764d8f0166c0391ae8c6b60","sha256:493299b253baaaa82c911dc8328e6947fb3b9a610f93453d762dce0e9f999cd9"],"state_sha256":"ce5562f863baef49357142015d6a212035287840133f28008ece72d019ac906d"}