{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:YN352QLZSNFHKRJSVYPWHYDMIV","short_pith_number":"pith:YN352QLZ","canonical_record":{"source":{"id":"2505.13008","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-19T11:51:56Z","cross_cats_sorted":[],"title_canon_sha256":"a6546dff50f22a1afaa837d145f8f733c5e35b8c7cd51d51ef543e128745fb47","abstract_canon_sha256":"fc4cd1b20f55dfdecf5a0081146b436dcbc435f2e98099aabd1133c8467694cc"},"schema_version":"1.0"},"canonical_sha256":"c377dd4179934a754532ae1f63e06c455dae75c6b68cb90f5c97d70e7d547590","source":{"kind":"arxiv","id":"2505.13008","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.13008","created_at":"2026-07-05T11:24:20Z"},{"alias_kind":"arxiv_version","alias_value":"2505.13008v2","created_at":"2026-07-05T11:24:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.13008","created_at":"2026-07-05T11:24:20Z"},{"alias_kind":"pith_short_12","alias_value":"YN352QLZSNFH","created_at":"2026-07-05T11:24:20Z"},{"alias_kind":"pith_short_16","alias_value":"YN352QLZSNFHKRJS","created_at":"2026-07-05T11:24:20Z"},{"alias_kind":"pith_short_8","alias_value":"YN352QLZ","created_at":"2026-07-05T11:24:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:YN352QLZSNFHKRJSVYPWHYDMIV","target":"record","payload":{"canonical_record":{"source":{"id":"2505.13008","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-19T11:51:56Z","cross_cats_sorted":[],"title_canon_sha256":"a6546dff50f22a1afaa837d145f8f733c5e35b8c7cd51d51ef543e128745fb47","abstract_canon_sha256":"fc4cd1b20f55dfdecf5a0081146b436dcbc435f2e98099aabd1133c8467694cc"},"schema_version":"1.0"},"canonical_sha256":"c377dd4179934a754532ae1f63e06c455dae75c6b68cb90f5c97d70e7d547590","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:24:20.299422Z","signature_b64":"UwJFxz4sZ1uXxTfWSykI2ryW8W2cbR2LGe8acgzC6XUiSCE3D+j6Rc1qDofW0nT95IgDDLoKbi7/eVrbcA6SDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c377dd4179934a754532ae1f63e06c455dae75c6b68cb90f5c97d70e7d547590","last_reissued_at":"2026-07-05T11:24:20.298807Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:24:20.298807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.13008","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:24:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bz2PBpRyKVWE1k9avfhielPjnFeP6VZF3CDkVjudVmiZ2UjUQMzKTROAnlbSpZg/HXLArVSQeadMpAAyu+eXBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T08:33:17.451665Z"},"content_sha256":"316ab567f8461c8a024810c0bd3f8ce87c1d279a8179d9f3c4d6ce92f14c2c2b","schema_version":"1.0","event_id":"sha256:316ab567f8461c8a024810c0bd3f8ce87c1d279a8179d9f3c4d6ce92f14c2c2b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:YN352QLZSNFHKRJSVYPWHYDMIV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Adversarial Reasoning for Repair Based on Inferred Program Intent","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aidan Z.H. Yang, Chang Hu, Claire Le Goues, He Ye, Tao Zhang, Yanlin Wang","submitted_at":"2025-05-19T11:51:56Z","abstract_excerpt":"Automated program repair (APR) has shown promising results, particularly with the use of neural networks. Currently, most APR tools focus on code transformations specified by test suites, rather than reasoning about the program intent and the high-level bug specification. Without a proper understanding of program intent, these tools tend to generate patches that overfit incomplete test suites and fail to reflect the developers intentions. However, reasoning about program intent is challenging. In our work, we propose an approach called AdverIntent-Agent, based on critique and adversarial reaso"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.13008","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/2505.13008/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:24:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V9l5ytyWLRcpNSBZKoEdrAwKXA979v1/NtVgKNDKcDbO++PuYikjCxJtzSOUXRU+0M/IRCeIgmeTefkwKlxRAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T08:33:17.452412Z"},"content_sha256":"b8aff2e48593a053758e680c5ab88ce59905e8da80277d7ff1bea07cac659a14","schema_version":"1.0","event_id":"sha256:b8aff2e48593a053758e680c5ab88ce59905e8da80277d7ff1bea07cac659a14"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV/bundle.json","state_url":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YN352QLZSNFHKRJSVYPWHYDMIV/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-16T08:33:17Z","links":{"resolver":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV","bundle":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV/bundle.json","state":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YN352QLZSNFHKRJSVYPWHYDMIV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:YN352QLZSNFHKRJSVYPWHYDMIV","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":"fc4cd1b20f55dfdecf5a0081146b436dcbc435f2e98099aabd1133c8467694cc","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-19T11:51:56Z","title_canon_sha256":"a6546dff50f22a1afaa837d145f8f733c5e35b8c7cd51d51ef543e128745fb47"},"schema_version":"1.0","source":{"id":"2505.13008","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.13008","created_at":"2026-07-05T11:24:20Z"},{"alias_kind":"arxiv_version","alias_value":"2505.13008v2","created_at":"2026-07-05T11:24:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.13008","created_at":"2026-07-05T11:24:20Z"},{"alias_kind":"pith_short_12","alias_value":"YN352QLZSNFH","created_at":"2026-07-05T11:24:20Z"},{"alias_kind":"pith_short_16","alias_value":"YN352QLZSNFHKRJS","created_at":"2026-07-05T11:24:20Z"},{"alias_kind":"pith_short_8","alias_value":"YN352QLZ","created_at":"2026-07-05T11:24:20Z"}],"graph_snapshots":[{"event_id":"sha256:b8aff2e48593a053758e680c5ab88ce59905e8da80277d7ff1bea07cac659a14","target":"graph","created_at":"2026-07-05T11:24:20Z","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/2505.13008/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automated program repair (APR) has shown promising results, particularly with the use of neural networks. Currently, most APR tools focus on code transformations specified by test suites, rather than reasoning about the program intent and the high-level bug specification. Without a proper understanding of program intent, these tools tend to generate patches that overfit incomplete test suites and fail to reflect the developers intentions. However, reasoning about program intent is challenging. In our work, we propose an approach called AdverIntent-Agent, based on critique and adversarial reaso","authors_text":"Aidan Z.H. Yang, Chang Hu, Claire Le Goues, He Ye, Tao Zhang, Yanlin Wang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-19T11:51:56Z","title":"Adversarial Reasoning for Repair Based on Inferred Program Intent"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.13008","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:316ab567f8461c8a024810c0bd3f8ce87c1d279a8179d9f3c4d6ce92f14c2c2b","target":"record","created_at":"2026-07-05T11:24:20Z","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":"fc4cd1b20f55dfdecf5a0081146b436dcbc435f2e98099aabd1133c8467694cc","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-19T11:51:56Z","title_canon_sha256":"a6546dff50f22a1afaa837d145f8f733c5e35b8c7cd51d51ef543e128745fb47"},"schema_version":"1.0","source":{"id":"2505.13008","kind":"arxiv","version":2}},"canonical_sha256":"c377dd4179934a754532ae1f63e06c455dae75c6b68cb90f5c97d70e7d547590","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c377dd4179934a754532ae1f63e06c455dae75c6b68cb90f5c97d70e7d547590","first_computed_at":"2026-07-05T11:24:20.298807Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:24:20.298807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UwJFxz4sZ1uXxTfWSykI2ryW8W2cbR2LGe8acgzC6XUiSCE3D+j6Rc1qDofW0nT95IgDDLoKbi7/eVrbcA6SDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:24:20.299422Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.13008","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:316ab567f8461c8a024810c0bd3f8ce87c1d279a8179d9f3c4d6ce92f14c2c2b","sha256:b8aff2e48593a053758e680c5ab88ce59905e8da80277d7ff1bea07cac659a14"],"state_sha256":"9d0dac1bd9abf7d2bde80fbc4bc57bfdc6ae5cd91af5120f964853e0fa465a71"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I39Ee9IVphjzjB0u3Bk4MLQ0ZUjIG9/9a5i1xAvlfugGjEZmQvcp0zgnu9B/EW+7UAtYI7W5ADA+6C1+QTA0Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T08:33:17.458089Z","bundle_sha256":"0cf27b3bb5489f46685dc536666783e11dfca6d77e5b5bc1311099c7ef60c3ed"}}