{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:VLOPI4W73PSQDPBHIXPPDLWLDJ","short_pith_number":"pith:VLOPI4W7","schema_version":"1.0","canonical_sha256":"aadcf472dfdbe501bc2745def1aecb1a74234315da5edc355768e4ebee9f553e","source":{"kind":"arxiv","id":"2509.16187","version":3},"attestation_state":"computed","paper":{"title":"MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Ali Reza Ibrahimzada, Brandon Paulsen, Daniel Kroening, Joey Dodds, Reyhaneh Jabbarvand","submitted_at":"2025-09-19T17:46:13Z","abstract_excerpt":"Code translation transforms source code from one programming language (PL) to another. Validating the functional equivalence of translation and repairing, if necessary, are critical steps in code translation. Existing automated validation and repair approaches struggle to generalize to many PLs due to high engineering overhead, and they rely on existing and often inadequate test suites, which results in false claims of equivalence and ineffective translation repair. To bridge this gap, we develop MatchFixAgent, a large language model (LLM)-based, PL-agnostic framework for equivalence validatio"},"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":"2509.16187","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-09-19T17:46:13Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"ca222f18eda68f609c5eae0808394ded9539e8dd3a3d9035792cf95c56b413fd","abstract_canon_sha256":"ff0c8bb03cca9bb6274ed9354b1d30c11d5b37ffe944d79444cd565b7e763d9d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-01T01:02:20.940074Z","signature_b64":"xI7QbzDK0gg/5DSg8QqxHRWEIUmE3iqq80qSOegeqY1MKKTUwkqlPPQeIw+EzR/n2exY5W943rzuduG8H657DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aadcf472dfdbe501bc2745def1aecb1a74234315da5edc355768e4ebee9f553e","last_reissued_at":"2026-06-01T01:02:20.939211Z","signature_status":"signed_v1","first_computed_at":"2026-06-01T01:02:20.939211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Ali Reza Ibrahimzada, Brandon Paulsen, Daniel Kroening, Joey Dodds, Reyhaneh Jabbarvand","submitted_at":"2025-09-19T17:46:13Z","abstract_excerpt":"Code translation transforms source code from one programming language (PL) to another. Validating the functional equivalence of translation and repairing, if necessary, are critical steps in code translation. Existing automated validation and repair approaches struggle to generalize to many PLs due to high engineering overhead, and they rely on existing and often inadequate test suites, which results in false claims of equivalence and ineffective translation repair. To bridge this gap, we develop MatchFixAgent, a large language model (LLM)-based, PL-agnostic framework for equivalence validatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.16187","kind":"arxiv","version":3},"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/2509.16187/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":"2509.16187","created_at":"2026-06-01T01:02:20.939325+00:00"},{"alias_kind":"arxiv_version","alias_value":"2509.16187v3","created_at":"2026-06-01T01:02:20.939325+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.16187","created_at":"2026-06-01T01:02:20.939325+00:00"},{"alias_kind":"pith_short_12","alias_value":"VLOPI4W73PSQ","created_at":"2026-06-01T01:02:20.939325+00:00"},{"alias_kind":"pith_short_16","alias_value":"VLOPI4W73PSQDPBH","created_at":"2026-06-01T01:02:20.939325+00:00"},{"alias_kind":"pith_short_8","alias_value":"VLOPI4W7","created_at":"2026-06-01T01:02:20.939325+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":3,"internal_anchor_count":3,"sample":[{"citing_arxiv_id":"2505.10708","citing_title":"SafeTrans: LLM-assisted Transpilation from C to Rust","ref_index":17,"is_internal_anchor":true},{"citing_arxiv_id":"2604.25960","citing_title":"Large Language Models for Multilingual Code Intelligence: A Survey","ref_index":22,"is_internal_anchor":true},{"citing_arxiv_id":"2604.12048","citing_title":"ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation","ref_index":62,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ","json":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ.json","graph_json":"https://pith.science/api/pith-number/VLOPI4W73PSQDPBHIXPPDLWLDJ/graph.json","events_json":"https://pith.science/api/pith-number/VLOPI4W73PSQDPBHIXPPDLWLDJ/events.json","paper":"https://pith.science/paper/VLOPI4W7"},"agent_actions":{"view_html":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ","download_json":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ.json","view_paper":"https://pith.science/paper/VLOPI4W7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2509.16187&json=true","fetch_graph":"https://pith.science/api/pith-number/VLOPI4W73PSQDPBHIXPPDLWLDJ/graph.json","fetch_events":"https://pith.science/api/pith-number/VLOPI4W73PSQDPBHIXPPDLWLDJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ/action/storage_attestation","attest_author":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ/action/author_attestation","sign_citation":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ/action/citation_signature","submit_replication":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ/action/replication_record"}},"created_at":"2026-06-01T01:02:20.939325+00:00","updated_at":"2026-06-01T01:02:20.939325+00:00"}