{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GCTORMDDYCLEXECMJFP3UKIKGT","short_pith_number":"pith:GCTORMDD","canonical_record":{"source":{"id":"2507.15822","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-21T17:30:16Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"4cf80610b4665d40a01608c521a32a76eeec144ea01f1a1a46b0a5ee256bf22c","abstract_canon_sha256":"81c859f349778a7deebcd658aec4a6d5681da14d00bb66074166913f85cc28be"},"schema_version":"1.0"},"canonical_sha256":"30a6e8b063c0964b904c495fba290a34c073851a0affa4bedc221912544b87da","source":{"kind":"arxiv","id":"2507.15822","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.15822","created_at":"2026-07-05T11:48:05Z"},{"alias_kind":"arxiv_version","alias_value":"2507.15822v2","created_at":"2026-07-05T11:48:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.15822","created_at":"2026-07-05T11:48:05Z"},{"alias_kind":"pith_short_12","alias_value":"GCTORMDDYCLE","created_at":"2026-07-05T11:48:05Z"},{"alias_kind":"pith_short_16","alias_value":"GCTORMDDYCLEXECM","created_at":"2026-07-05T11:48:05Z"},{"alias_kind":"pith_short_8","alias_value":"GCTORMDD","created_at":"2026-07-05T11:48:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GCTORMDDYCLEXECMJFP3UKIKGT","target":"record","payload":{"canonical_record":{"source":{"id":"2507.15822","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-21T17:30:16Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"4cf80610b4665d40a01608c521a32a76eeec144ea01f1a1a46b0a5ee256bf22c","abstract_canon_sha256":"81c859f349778a7deebcd658aec4a6d5681da14d00bb66074166913f85cc28be"},"schema_version":"1.0"},"canonical_sha256":"30a6e8b063c0964b904c495fba290a34c073851a0affa4bedc221912544b87da","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:48:05.873477Z","signature_b64":"WCvzL4DuSGu8NgGnO94CLxreQ+uzYbR2N8ivMbqUSzb8Ntfuz4kgp3k2iL5ltVrIgOrp2eE2wZ4nuZGVx7bwDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"30a6e8b063c0964b904c495fba290a34c073851a0affa4bedc221912544b87da","last_reissued_at":"2026-07-05T11:48:05.872868Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:48:05.872868Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.15822","source_version":2,"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-05T11:48:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2ZyoHGqSwN+HiaiIoW9jjJRw1wH3y4mDID/bxIU1Hk3TbS9jf9zGheSi+SNtL5sKI9XYlLFxBrDtv4sGdQwrCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T06:53:25.656554Z"},"content_sha256":"447a6bc3588422283264b7841af7fba616ec6fc36b3b8b2b754355b6b8fb5daf","schema_version":"1.0","event_id":"sha256:447a6bc3588422283264b7841af7fba616ec6fc36b3b8b2b754355b6b8fb5daf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GCTORMDDYCLEXECMJFP3UKIKGT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Do AI models help produce verified bug fixes?","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Alessandro Schena, Bertrand Meyer, Ilgiz Mustafin, Li Huang, Marco Piccioni, Reto Weber","submitted_at":"2025-07-21T17:30:16Z","abstract_excerpt":"Among areas of software engineering where AI techniques -- particularly, Large Language Models -- seem poised to yield dramatic improvements, an attractive candidate is Automatic Program Repair (APR), the production of satisfactory corrections to software bugs. Does this expectation materialize in practice? How do we find out, making sure that proposed corrections actually work? If programmers have access to LLMs, how do they actually use them to complement their own skills?\n  To answer these questions, we took advantage of the availability of a program-proving environment, which formally dete"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.15822","kind":"arxiv","version":2},"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/2507.15822/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-05T11:48:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hvc+m5Demd+qwWr4kklLjboxNTuDoHZSSb/XtgWMSTkYsGxEMSpf4QZZmXHuRzaccRulxYPzi7pCja4gmmW8Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T06:53:25.657043Z"},"content_sha256":"4640524c5c3c0f161d57b6632115b74c2d8d19ce2401b5f0bec0438f201279ce","schema_version":"1.0","event_id":"sha256:4640524c5c3c0f161d57b6632115b74c2d8d19ce2401b5f0bec0438f201279ce"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GCTORMDDYCLEXECMJFP3UKIKGT/bundle.json","state_url":"https://pith.science/pith/GCTORMDDYCLEXECMJFP3UKIKGT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GCTORMDDYCLEXECMJFP3UKIKGT/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-07T06:53:25Z","links":{"resolver":"https://pith.science/pith/GCTORMDDYCLEXECMJFP3UKIKGT","bundle":"https://pith.science/pith/GCTORMDDYCLEXECMJFP3UKIKGT/bundle.json","state":"https://pith.science/pith/GCTORMDDYCLEXECMJFP3UKIKGT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GCTORMDDYCLEXECMJFP3UKIKGT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GCTORMDDYCLEXECMJFP3UKIKGT","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":"81c859f349778a7deebcd658aec4a6d5681da14d00bb66074166913f85cc28be","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-21T17:30:16Z","title_canon_sha256":"4cf80610b4665d40a01608c521a32a76eeec144ea01f1a1a46b0a5ee256bf22c"},"schema_version":"1.0","source":{"id":"2507.15822","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.15822","created_at":"2026-07-05T11:48:05Z"},{"alias_kind":"arxiv_version","alias_value":"2507.15822v2","created_at":"2026-07-05T11:48:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.15822","created_at":"2026-07-05T11:48:05Z"},{"alias_kind":"pith_short_12","alias_value":"GCTORMDDYCLE","created_at":"2026-07-05T11:48:05Z"},{"alias_kind":"pith_short_16","alias_value":"GCTORMDDYCLEXECM","created_at":"2026-07-05T11:48:05Z"},{"alias_kind":"pith_short_8","alias_value":"GCTORMDD","created_at":"2026-07-05T11:48:05Z"}],"graph_snapshots":[{"event_id":"sha256:4640524c5c3c0f161d57b6632115b74c2d8d19ce2401b5f0bec0438f201279ce","target":"graph","created_at":"2026-07-05T11:48:05Z","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/2507.15822/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Among areas of software engineering where AI techniques -- particularly, Large Language Models -- seem poised to yield dramatic improvements, an attractive candidate is Automatic Program Repair (APR), the production of satisfactory corrections to software bugs. Does this expectation materialize in practice? How do we find out, making sure that proposed corrections actually work? If programmers have access to LLMs, how do they actually use them to complement their own skills?\n  To answer these questions, we took advantage of the availability of a program-proving environment, which formally dete","authors_text":"Alessandro Schena, Bertrand Meyer, Ilgiz Mustafin, Li Huang, Marco Piccioni, Reto Weber","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-21T17:30:16Z","title":"Do AI models help produce verified bug fixes?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.15822","kind":"arxiv","version":2},"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:447a6bc3588422283264b7841af7fba616ec6fc36b3b8b2b754355b6b8fb5daf","target":"record","created_at":"2026-07-05T11:48:05Z","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":"81c859f349778a7deebcd658aec4a6d5681da14d00bb66074166913f85cc28be","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-21T17:30:16Z","title_canon_sha256":"4cf80610b4665d40a01608c521a32a76eeec144ea01f1a1a46b0a5ee256bf22c"},"schema_version":"1.0","source":{"id":"2507.15822","kind":"arxiv","version":2}},"canonical_sha256":"30a6e8b063c0964b904c495fba290a34c073851a0affa4bedc221912544b87da","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"30a6e8b063c0964b904c495fba290a34c073851a0affa4bedc221912544b87da","first_computed_at":"2026-07-05T11:48:05.872868Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:48:05.872868Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WCvzL4DuSGu8NgGnO94CLxreQ+uzYbR2N8ivMbqUSzb8Ntfuz4kgp3k2iL5ltVrIgOrp2eE2wZ4nuZGVx7bwDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:48:05.873477Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.15822","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:447a6bc3588422283264b7841af7fba616ec6fc36b3b8b2b754355b6b8fb5daf","sha256:4640524c5c3c0f161d57b6632115b74c2d8d19ce2401b5f0bec0438f201279ce"],"state_sha256":"bc80ad51fc84e87be3f1c495e3c7318b126da6edecc5d12de6ab7408775738e7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kbcw//HjmN86mcqankfLNM7OrVpI2yEQHu42uEUeXy7V3vyXZz3T4q4E3M47tvhKuhz9gskR6/HTZPCYG1ArDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T06:53:25.660908Z","bundle_sha256":"4f86e8b7e58e4208a5f6d204b7970f79c1b413ddd65c4438db4db41bef65de1b"}}