{"id":"https://openalex.org/W7162767610","doi":"https://doi.org/10.48550/arxiv.2605.29054","title":"Converted, Not Equivalent: Benchmarking Codebase Conversion via Observational Equivalence","display_name":"Converted, Not Equivalent: Benchmarking Codebase Conversion via Observational Equivalence","publication_year":2026,"publication_date":"2026-05-27","ids":{"openalex":"https://openalex.org/W7162767610","doi":"https://doi.org/10.48550/arxiv.2605.29054"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.29054","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.29054","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.29054","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5137316301","display_name":"Linxin Song","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Song, Linxin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137346137","display_name":"Jiefeng Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Jiefeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137374608","display_name":"Yue Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Yue","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087135401","display_name":"Bhavana Dalvi Mishra","orcid":"https://orcid.org/0000-0002-3813-8641"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mishra, Bhavana Dalvi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137329367","display_name":"Chi Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Chi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137399703","display_name":"Jieyu Zhao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhao, Jieyu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137311240","display_name":"Jinsung Yoon","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yoon, Jinsung","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5101265241","display_name":"Tomas Pfister","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pfister, Tomas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.14499999582767487,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.14499999582767487,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.094200000166893,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.07500000298023224,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/codebase","display_name":"Codebase","score":0.9779999852180481},{"id":"https://openalex.org/keywords/spec#","display_name":"Spec#","score":0.628600001335144},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5699999928474426},{"id":"https://openalex.org/keywords/succinctness","display_name":"Succinctness","score":0.538100004196167},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.512499988079071},{"id":"https://openalex.org/keywords/benchmarking","display_name":"Benchmarking","score":0.4837000072002411},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4569999873638153},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.4221999943256378}],"concepts":[{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.9779999852180481},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7391999959945679},{"id":"https://openalex.org/C2778565505","wikidata":"https://www.wikidata.org/wiki/Q2207566","display_name":"Spec#","level":2,"score":0.628600001335144},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5699999928474426},{"id":"https://openalex.org/C2776493592","wikidata":"https://www.wikidata.org/wiki/Q5158717","display_name":"Succinctness","level":2,"score":0.538100004196167},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.512499988079071},{"id":"https://openalex.org/C86251818","wikidata":"https://www.wikidata.org/wiki/Q816754","display_name":"Benchmarking","level":2,"score":0.4837000072002411},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4569999873638153},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.4221999943256378},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3885999917984009},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.37529999017715454},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.357699990272522},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.34869998693466187},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.3357999920845032},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.32420000433921814},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3199000060558319},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30469998717308044},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29580000042915344},{"id":"https://openalex.org/C2333172","wikidata":"https://www.wikidata.org/wiki/Q1425985","display_name":"Preorder","level":2,"score":0.2728999853134155},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2711000144481659},{"id":"https://openalex.org/C160920958","wikidata":"https://www.wikidata.org/wiki/Q7662746","display_name":"Synthetic data","level":2,"score":0.25589999556541443},{"id":"https://openalex.org/C44060867","wikidata":"https://www.wikidata.org/wiki/Q12129","display_name":"Parsec","level":3,"score":0.25060001015663147}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.29054","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.29054","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.29054","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.29054","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Coding":[0],"agents":[1,21],"increasingly":[2],"act":[3],"as":[4,73,99],"codebase-scale":[5],"collaborators":[6],"that":[7,34,96,184],"can":[8,66],"assist":[9],"with":[10],"codebase":[11,53,94],"conversion,":[12,54],"but":[13],"this":[14],"progress":[15],"has":[16],"exposed":[17],"a":[18,69,74,91,102,159,165],"critical":[19],"weakness:":[20],"often":[22],"over-trust":[23],"their":[24],"own":[25],"local":[26],"validation":[27],"routines":[28],"and":[29,61,112,127,130,169],"declare":[30],"success":[31,173],"on":[32,68],"artifacts":[33],"satisfy":[35],"surface":[36],"checks":[37],"while":[38,78],"violating":[39],"the":[40,143,179],"semantic":[41],"contracts":[42],"users":[43],"actually":[44],"care":[45],"about.":[46],"This":[47,182],"problem":[48],"is":[49,58],"especially":[50],"acute":[51],"in":[52,80],"where":[55],"prior":[56],"evaluation":[57],"largely":[59],"outcome-driven":[60],"therefore":[62],"unstable:":[63],"two":[64],"implementations":[65],"match":[67],"shallow":[70],"outcome,":[71],"such":[72],"single":[75],"forward":[76],"loss,":[77],"diverging":[79],"gradients,":[81,126],"optimizer":[82],"behavior,":[83],"or":[84,195],"short-horizon":[85],"training":[86,133],"dynamics.":[87],"We":[88],"introduce":[89],"T2J-Bench,":[90],"benchmark":[92],"for":[93],"conversion":[95,98,141],"reformulates":[97],"transfer":[100],"under":[101,135],"fixed":[103,107,136,180],"equivalence":[104],"contract.":[105],"A":[106],"verifier":[108],"then":[109],"compares":[110],"source":[111],"converted":[113],"codebases":[114],"through":[115],"three":[116],"ordered":[117],"stages:":[118],"Spec":[119,153],"(interface":[120],"admissibility),":[121],"Numeric":[122],"(forward":[123],"outputs,":[124],"losses,":[125],"objective-specific":[128],"tensors),":[129],"Behavioral":[131],"(short":[132],"dynamics":[134],"seeds).":[137],"Across":[138],"355":[139],"blind":[140],"attempts,":[142],"best":[144],"system":[145],"reaches":[146],"only":[147,164],"26.7--28.9%":[148],"overall":[149],"pass":[150,154],"rate":[151],"despite":[152],"rates":[155],"up":[156],"to":[157,178],"91.1%;":[158],"4.7x":[160],"token-budget":[161],"spread":[162],"yields":[163],"2.2x":[166],"pass-rate":[167],"spread;":[168],"all":[170],"systems":[171],"overestimate":[172],"by":[174],"66.6--97.8":[175],"points":[176],"relative":[177],"evaluator.":[181],"suggests":[183],"failures":[185],"stem":[186],"more":[187],"from":[188,192],"contract-misaligned":[189],"self-validation":[190],"than":[191],"limited":[193],"budget":[194],"backbone":[196],"strength.":[197]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-30T00:00:00"}