{"id":"https://openalex.org/W7220735328","doi":"https://doi.org/10.48550/arxiv.2610.04371","title":"Functionally Equivalent or Not? Graph-Grounded Differential Surrogate Execution for Code Equivalence","display_name":"Functionally Equivalent or Not? Graph-Grounded Differential Surrogate Execution for Code Equivalence","publication_year":2026,"publication_date":"2026-10-03","ids":{"openalex":"https://openalex.org/W7220735328","doi":"https://doi.org/10.48550/arxiv.2610.04371"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.04371","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.04371","pdf_url":"https://arxiv.org/pdf/2610.04371","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,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.04371","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087233969","display_name":"Amit Kachroo","orcid":"https://orcid.org/0000-0002-6688-7084","observed_orcids":["https://orcid.org/0000-0002-6688-7084"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kachroo, Amit","raw_affiliation_strings":["AWS AI Labs Santa Clara , California , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AWS AI Labs Santa Clara , California , USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010400765","display_name":"Like Hui","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hui, Like","raw_affiliation_strings":["AWS AI Labs Santa Clara , California , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AWS AI Labs Santa Clara , California , USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115592943","display_name":"Haitao Mao","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mao, Haitao","raw_affiliation_strings":["AWS AI Labs Santa Clara , California , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AWS AI Labs Santa Clara , California , USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5157754687","display_name":"Yuhao Zhang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhang, Yuhao","raw_affiliation_strings":["AWS AI Labs New York , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AWS AI Labs New York , USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088345266","display_name":"Nguyen Vo","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vo, Nguyen","raw_affiliation_strings":["AWS AI Labs Santa Clara , California , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AWS AI Labs Santa Clara , California , USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T10260","display_name":"Software Engineering Research","score":0.6195999979972839,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.6195999979972839,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.37599998712539673,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.0026000000070780516,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/program-equivalence","display_name":"program equivalence","score":0.7379999756813049},{"id":"https://openalex.org/keywords/code-modernization","display_name":"code modernization","score":0.7099999785423279},{"id":"https://openalex.org/keywords/patch-evaluation","display_name":"patch evaluation","score":0.32100000977516174},{"id":"https://openalex.org/keywords/swe-bench","display_name":"SWE-bench","score":0.8199999928474426}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.725600004196167},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6294999718666077},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5817000269889832},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5011000037193298},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.47600001096725464},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4546999931335449},{"id":"https://openalex.org/C37926939","wikidata":"https://www.wikidata.org/wiki/Q7449061","display_name":"Semantic equivalence","level":4,"score":0.4399000108242035},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.42419999837875366},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.40389999747276306},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.400299996137619},{"id":"https://openalex.org/C2778565505","wikidata":"https://www.wikidata.org/wiki/Q2207566","display_name":"Spec#","level":2,"score":0.37929999828338623},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.3767000138759613},{"id":"https://openalex.org/C67820243","wikidata":"https://www.wikidata.org/wiki/Q179164","display_name":"Unitary state","level":2,"score":0.35589998960494995},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.35260000824928284},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3465000092983246},{"id":"https://openalex.org/C103278499","wikidata":"https://www.wikidata.org/wiki/Q254465","display_name":"Similarity (geometry)","level":3,"score":0.3440000116825104},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.34130001068115234},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3334999978542328},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.32829999923706055},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.3197000026702881},{"id":"https://openalex.org/C86251818","wikidata":"https://www.wikidata.org/wiki/Q816754","display_name":"Benchmarking","level":2,"score":0.30469998717308044},{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.3003999888896942},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.29809999465942383},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2732999920845032},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.2644999921321869},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.2615000009536743},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.2572999894618988},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.2524000108242035}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.04371","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.04371","pdf_url":"https://arxiv.org/pdf/2610.04371","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,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2610.04371","doi":"https://doi.org/10.48550/arxiv.2610.04371","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.04371","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,"listed_in":[],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.04371","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.04371","pdf_url":"https://arxiv.org/pdf/2610.04371","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,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7220735328.pdf","grobid_xml":"https://content.openalex.org/works/W7220735328.grobid-xml"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W2911450990","https://openalex.org/W4411119597","https://openalex.org/W4416035052","https://openalex.org/W7103754783","https://openalex.org/W7160542389"],"related_works":["https://openalex.org/W3163618964","https://openalex.org/W4412496837","https://openalex.org/W2136099030","https://openalex.org/W1856462361","https://openalex.org/W7130481877","https://openalex.org/W7164375192","https://openalex.org/W3033748891","https://openalex.org/W4393730225","https://openalex.org/W3173309977","https://openalex.org/W4393255193"],"abstract_inverted_index":{"Determining":[0],"whether":[1],"two":[2,109],"programs":[3],"are":[4,22,39,146],"functionally":[5],"equivalent":[6],"is":[7,45,124,165,179],"central":[8],"to":[9,41],"code":[10],"modernization,":[11],"patch":[12],"validation,":[13],"refactoring,":[14],"and":[15,35,82,97,108,116,121,157,189,236,243],"code-generation":[16],"evaluation.":[17],"Yet":[18],"the":[19,162,224],"usual":[20],"signals":[21],"incomplete:":[23],"tests":[24],"cover":[25],"only":[26],"finite":[27],"inputs,":[28,107],"textual":[29],"similarity":[30],"confuses":[31],"implementation":[32],"with":[33,73,176,202],"behavior,":[34],"unconstrained":[36],"LLM":[37,111],"judgments":[38],"difficult":[40],"audit.":[42],"Direct":[43],"execution":[44,198],"often":[46],"impossible":[47],"when":[48,144],"a":[49,63,101,142,166,170,249],"program":[50],"depends":[51],"on":[52,154,205,212],"an":[53,127,231],"obsolete,":[54],"licensed,":[55],"unavailable,":[56],"or":[57,137,148,169],"unsafe":[58],"environment.":[59],"We":[60,151],"introduce":[61],"FEAgent,":[62],"selective":[64],"equivalence":[65,156],"assessor":[66],"agent":[67,104,219],"that":[68,177],"combines":[69],"typed":[70],"program-graph":[71],"evidence":[72,128,149,241],"differential":[74],"surrogate":[75],"execution.":[76],"FEAgent":[77,153,227],"first":[78],"aligns":[79],"public":[80],"interfaces":[81],"behaviorally":[83],"relevant":[84],"graph":[85],"anchors,":[86],"then":[87,133],"issues":[88],"bounded":[89],"queries":[90],"over":[91],"call-flow,":[92],"control-flow,":[93],"data-flow,":[94],"type,":[95],"import,":[96],"effect":[98],"relations.":[99],"Next,":[100],"branch-aware":[102],"generator":[103],"proposes":[105],"discriminating":[106],"blinded":[110],"surrogates":[112],"independently":[113],"predict":[114],"source":[115],"target":[117],"observables.":[118],"Every":[119,174],"claim":[120],"predicted":[122],"divergence":[123],"recorded":[125],"in":[126,186],"ledger.":[129],"A":[130],"deterministic":[131],"reconciler":[132],"returns":[134],"EQUIVALENT,":[135],"INEQUIVALENT,":[136],"UNCLEAR":[138],"rather":[139],"than":[140],"forcing":[141],"verdict":[143],"paths":[145],"uncovered":[147],"conflicts.":[150],"evaluate":[152],"function-level":[155],"repository-level":[158],"bug":[159],"patches,":[160],"where":[161],"existing":[163],"oracle":[164,178],"benchmark":[167,187],"label":[168],"passing":[171],"test":[172],"suite.":[173],"disagreement":[175],"adjudicated":[180],"by":[181,193],"direct":[182],"execution,":[183],"revealing":[184],"errors":[185],"labels":[188,204],"behavioral":[190],"divergences":[191],"missed":[192],"unit-test-only":[194],"scoring.":[195],"On":[196],"EquiBench,":[197],"confirms":[199],"FEAgent's":[200],"disagreements":[201],"published":[203],"216":[206],"of":[207,216,251],"1,200":[208],"evaluated":[209],"pairs":[210],"(18.0%);":[211],"SWE-bench":[213],"Verified,":[214],"94":[215],"331":[217],"test-passing":[218],"patches":[220],"(28.4%)":[221],"diverge":[222],"from":[223],"reference":[225],"patch.":[226],"thus":[228],"serves":[229],"as":[230],"audit":[232],"layer":[233],"between":[234],"testing":[235],"formal":[237],"verification,":[238],"keeping":[239],"its":[240,244],"reviewable":[242],"uncertainty":[245],"explicit":[246],"without":[247],"claiming":[248],"proof":[250],"equivalence.":[252]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-07T00:00:00"}