{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:YOEFBX5F6GWRL4EMZH6336XN3N","short_pith_number":"pith:YOEFBX5F","canonical_record":{"source":{"id":"2503.22625","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-03-28T17:17:57Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"205fce0f46fc92fcebfd7ad136de8945fc1d73ce90ddf51bc84e694e4d3d3b41","abstract_canon_sha256":"e3a5a6db292536b32358e65b6b1d885dec498253961aeae51900c35de3bacea4"},"schema_version":"1.0"},"canonical_sha256":"c38850dfa5f1ad15f08cc9fdbdfaeddb52aed0b33e1b1c8e8988978292682d9e","source":{"kind":"arxiv","id":"2503.22625","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.22625","created_at":"2026-07-05T10:41:07Z"},{"alias_kind":"arxiv_version","alias_value":"2503.22625v1","created_at":"2026-07-05T10:41:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.22625","created_at":"2026-07-05T10:41:07Z"},{"alias_kind":"pith_short_12","alias_value":"YOEFBX5F6GWR","created_at":"2026-07-05T10:41:07Z"},{"alias_kind":"pith_short_16","alias_value":"YOEFBX5F6GWRL4EM","created_at":"2026-07-05T10:41:07Z"},{"alias_kind":"pith_short_8","alias_value":"YOEFBX5F","created_at":"2026-07-05T10:41:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:YOEFBX5F6GWRL4EMZH6336XN3N","target":"record","payload":{"canonical_record":{"source":{"id":"2503.22625","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-03-28T17:17:57Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"205fce0f46fc92fcebfd7ad136de8945fc1d73ce90ddf51bc84e694e4d3d3b41","abstract_canon_sha256":"e3a5a6db292536b32358e65b6b1d885dec498253961aeae51900c35de3bacea4"},"schema_version":"1.0"},"canonical_sha256":"c38850dfa5f1ad15f08cc9fdbdfaeddb52aed0b33e1b1c8e8988978292682d9e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:41:07.983127Z","signature_b64":"AzWvoKChM09wvypcEZj7qqGWcFCFBgPj04b7gbVyEhb6EK9Lak3xC9BBgYC8csloFghZiHxl319JJCuU620nBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c38850dfa5f1ad15f08cc9fdbdfaeddb52aed0b33e1b1c8e8988978292682d9e","last_reissued_at":"2026-07-05T10:41:07.982650Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:41:07.982650Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.22625","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-05T10:41:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"naam0fmzalBXaSwCi7M8Ms3V5tXstVHSJZC3Wu/xoIp6gZFDCIPvnlpswiOo33KsnAYpptJRg5X5N2rEHu0BDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T15:16:19.880174Z"},"content_sha256":"c49332b93d53e3ad08945b1632910b0a4f0314a2b8059908f6ed62dbe528c912","schema_version":"1.0","event_id":"sha256:c49332b93d53e3ad08945b1632910b0a4f0314a2b8059908f6ed62dbe528c912"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:YOEFBX5F6GWRL4EMZH6336XN3N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Challenges and Paths Towards AI for Software Engineering","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.SE","authors_text":"Alex Gu, Armando Solar-Lezama, Diyi Yang, Kevin Ellis, Koushik Sen, Manish Shetty, Naman Jain, Wen-Ding Li, Yijia Shao, Ziyang Li","submitted_at":"2025-03-28T17:17:57Z","abstract_excerpt":"AI for software engineering has made remarkable progress recently, becoming a notable success within generative AI. Despite this, there are still many challenges that need to be addressed before automated software engineering reaches its full potential. It should be possible to reach high levels of automation where humans can focus on the critical decisions of what to build and how to balance difficult tradeoffs while most routine development effort is automated away. Reaching this level of automation will require substantial research and engineering efforts across academia and industry. In th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.22625","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/2503.22625/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-05T10:41:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GaD0/nxlC4spBQa989yvF9SqlgXHWudt2UB9U6wU9gkwrH/uA3ea3lC5m6lKD4ArNbtGk4qbEhg7+QkH2FakCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T15:16:19.880859Z"},"content_sha256":"9363d4ccac809bf68e1af71211074b4e210c786ac84d2a65f5d86074ff90b7b1","schema_version":"1.0","event_id":"sha256:9363d4ccac809bf68e1af71211074b4e210c786ac84d2a65f5d86074ff90b7b1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YOEFBX5F6GWRL4EMZH6336XN3N/bundle.json","state_url":"https://pith.science/pith/YOEFBX5F6GWRL4EMZH6336XN3N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YOEFBX5F6GWRL4EMZH6336XN3N/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-18T15:16:19Z","links":{"resolver":"https://pith.science/pith/YOEFBX5F6GWRL4EMZH6336XN3N","bundle":"https://pith.science/pith/YOEFBX5F6GWRL4EMZH6336XN3N/bundle.json","state":"https://pith.science/pith/YOEFBX5F6GWRL4EMZH6336XN3N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YOEFBX5F6GWRL4EMZH6336XN3N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:YOEFBX5F6GWRL4EMZH6336XN3N","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":"e3a5a6db292536b32358e65b6b1d885dec498253961aeae51900c35de3bacea4","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-03-28T17:17:57Z","title_canon_sha256":"205fce0f46fc92fcebfd7ad136de8945fc1d73ce90ddf51bc84e694e4d3d3b41"},"schema_version":"1.0","source":{"id":"2503.22625","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.22625","created_at":"2026-07-05T10:41:07Z"},{"alias_kind":"arxiv_version","alias_value":"2503.22625v1","created_at":"2026-07-05T10:41:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.22625","created_at":"2026-07-05T10:41:07Z"},{"alias_kind":"pith_short_12","alias_value":"YOEFBX5F6GWR","created_at":"2026-07-05T10:41:07Z"},{"alias_kind":"pith_short_16","alias_value":"YOEFBX5F6GWRL4EM","created_at":"2026-07-05T10:41:07Z"},{"alias_kind":"pith_short_8","alias_value":"YOEFBX5F","created_at":"2026-07-05T10:41:07Z"}],"graph_snapshots":[{"event_id":"sha256:9363d4ccac809bf68e1af71211074b4e210c786ac84d2a65f5d86074ff90b7b1","target":"graph","created_at":"2026-07-05T10:41:07Z","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/2503.22625/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"AI for software engineering has made remarkable progress recently, becoming a notable success within generative AI. Despite this, there are still many challenges that need to be addressed before automated software engineering reaches its full potential. It should be possible to reach high levels of automation where humans can focus on the critical decisions of what to build and how to balance difficult tradeoffs while most routine development effort is automated away. Reaching this level of automation will require substantial research and engineering efforts across academia and industry. In th","authors_text":"Alex Gu, Armando Solar-Lezama, Diyi Yang, Kevin Ellis, Koushik Sen, Manish Shetty, Naman Jain, Wen-Ding Li, Yijia Shao, Ziyang Li","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-03-28T17:17:57Z","title":"Challenges and Paths Towards AI for Software Engineering"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.22625","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:c49332b93d53e3ad08945b1632910b0a4f0314a2b8059908f6ed62dbe528c912","target":"record","created_at":"2026-07-05T10:41:07Z","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":"e3a5a6db292536b32358e65b6b1d885dec498253961aeae51900c35de3bacea4","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-03-28T17:17:57Z","title_canon_sha256":"205fce0f46fc92fcebfd7ad136de8945fc1d73ce90ddf51bc84e694e4d3d3b41"},"schema_version":"1.0","source":{"id":"2503.22625","kind":"arxiv","version":1}},"canonical_sha256":"c38850dfa5f1ad15f08cc9fdbdfaeddb52aed0b33e1b1c8e8988978292682d9e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c38850dfa5f1ad15f08cc9fdbdfaeddb52aed0b33e1b1c8e8988978292682d9e","first_computed_at":"2026-07-05T10:41:07.982650Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:41:07.982650Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AzWvoKChM09wvypcEZj7qqGWcFCFBgPj04b7gbVyEhb6EK9Lak3xC9BBgYC8csloFghZiHxl319JJCuU620nBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:41:07.983127Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.22625","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c49332b93d53e3ad08945b1632910b0a4f0314a2b8059908f6ed62dbe528c912","sha256:9363d4ccac809bf68e1af71211074b4e210c786ac84d2a65f5d86074ff90b7b1"],"state_sha256":"a5ad1bc49224aeb588fcf66d42e429b1f5208913a5999bb3a16f53936842497b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KRnOBzDPR7eceMvs2nw9eYmjLwc5MhNzq9vJD2/kbcu6KlmuiOEDOtdDX6dkHVKgt3FaNrmpxb91AlqicHE9CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T15:16:19.887048Z","bundle_sha256":"4fedf0f98262d241e3cde2cb6c6d79032b499465257e7d94fd17d34639996098"}}