{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:YN352QLZSNFHKRJSVYPWHYDMIV","short_pith_number":"pith:YN352QLZ","schema_version":"1.0","canonical_sha256":"c377dd4179934a754532ae1f63e06c455dae75c6b68cb90f5c97d70e7d547590","source":{"kind":"arxiv","id":"2505.13008","version":2},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2505.13008","created_at":"2026-07-05T11:24:20.298898+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.13008v2","created_at":"2026-07-05T11:24:20.298898+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.13008","created_at":"2026-07-05T11:24:20.298898+00:00"},{"alias_kind":"pith_short_12","alias_value":"YN352QLZSNFH","created_at":"2026-07-05T11:24:20.298898+00:00"},{"alias_kind":"pith_short_16","alias_value":"YN352QLZSNFHKRJS","created_at":"2026-07-05T11:24:20.298898+00:00"},{"alias_kind":"pith_short_8","alias_value":"YN352QLZ","created_at":"2026-07-05T11:24:20.298898+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.17016","citing_title":"HELO-APR: Enhancing Low-Resource Program Repair through Cross-Lingual Knowledge Transfer","ref_index":31,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV","json":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV.json","graph_json":"https://pith.science/api/pith-number/YN352QLZSNFHKRJSVYPWHYDMIV/graph.json","events_json":"https://pith.science/api/pith-number/YN352QLZSNFHKRJSVYPWHYDMIV/events.json","paper":"https://pith.science/paper/YN352QLZ"},"agent_actions":{"view_html":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV","download_json":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV.json","view_paper":"https://pith.science/paper/YN352QLZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.13008&json=true","fetch_graph":"https://pith.science/api/pith-number/YN352QLZSNFHKRJSVYPWHYDMIV/graph.json","fetch_events":"https://pith.science/api/pith-number/YN352QLZSNFHKRJSVYPWHYDMIV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV/action/storage_attestation","attest_author":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV/action/author_attestation","sign_citation":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV/action/citation_signature","submit_replication":"https://pith.science/pith/YN352QLZSNFHKRJSVYPWHYDMIV/action/replication_record"}},"created_at":"2026-07-05T11:24:20.298898+00:00","updated_at":"2026-07-05T11:24:20.298898+00:00"}