{"id":"https://openalex.org/W7164929127","doi":"https://doi.org/10.48550/arxiv.2606.16162","title":"Binary Decompilation LLM with Feedback-Driven Multi-Turn Refinement","display_name":"Binary Decompilation LLM with Feedback-Driven Multi-Turn Refinement","publication_year":2026,"publication_date":"2026-06-15","ids":{"openalex":"https://openalex.org/W7164929127","doi":"https://doi.org/10.48550/arxiv.2606.16162"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.16162","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16162","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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.2606.16162","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138736338","display_name":"Peipei Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Peipei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138700258","display_name":"Jian Sun","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sun, Jian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060626806","display_name":"Mingzhe Xing","orcid":"https://orcid.org/0000-0002-2065-9852"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xing, Mingzhe","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030632797","display_name":"Yicheng Zeng","orcid":"https://orcid.org/0000-0003-0623-744X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zeng, Yicheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138711886","display_name":"Zhaoteng Yan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yan, Zhaoteng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138723982","display_name":"Lixiao Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Lixiao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138703299","display_name":"Li Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Li","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5138693266","display_name":"Dan Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Dan","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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.7020999789237976,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.7020999789237976,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.14720000326633453,"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/T11424","display_name":"Security and Verification in Computing","score":0.07779999822378159,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/correctness","display_name":"Correctness","score":0.6966000199317932},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6389999985694885},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5401999950408936},{"id":"https://openalex.org/keywords/obfuscation","display_name":"Obfuscation","score":0.5105999708175659},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5030999779701233},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.48159998655319214},{"id":"https://openalex.org/keywords/binary-code","display_name":"Binary code","score":0.44769999384880066},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.4343999922275543},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.42419999837875366}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8256000280380249},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6966000199317932},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6389999985694885},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5401999950408936},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5275999903678894},{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.5105999708175659},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5030999779701233},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.48159998655319214},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45159998536109924},{"id":"https://openalex.org/C63435697","wikidata":"https://www.wikidata.org/wiki/Q864135","display_name":"Binary code","level":3,"score":0.44769999384880066},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4343999922275543},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.42419999837875366},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.4081999957561493},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.4025000035762787},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3862999975681305},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.3709000051021576},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3353999853134155},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.3346000015735626},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.33059999346733093},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3197999894618988},{"id":"https://openalex.org/C2778971978","wikidata":"https://www.wikidata.org/wiki/Q2287075","display_name":"Binary translation","level":3,"score":0.3131999969482422},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.28299999237060547},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C50831359","wikidata":"https://www.wikidata.org/wiki/Q165436","display_name":"Assembly language","level":3,"score":0.28029999136924744},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.27469998598098755},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.2728999853134155},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.25699999928474426},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.2567000091075897},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25369998812675476},{"id":"https://openalex.org/C541664917","wikidata":"https://www.wikidata.org/wiki/Q14001","display_name":"Malware","level":2,"score":0.2533000111579895},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.25290000438690186}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.16162","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16162","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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.2606.16162","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16162","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":[{"id":"https://metadata.un.org/sdg/16","score":0.6663520932197571,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Binary":[0],"decompilation":[1,19,90],"is":[2,218],"fundamental":[3],"to":[4,159,211],"security":[5],"tasks":[6],"such":[7],"as":[8,91,98],"vulnerability":[9],"discovery,":[10],"malware":[11],"inspection,":[12],"and":[13,44,67,113,132,146,150,155,171,180,197],"executable-only":[14],"program":[15,213],"understanding.":[16],"Recent":[17],"LLM-based":[18,228],"methods":[20],"have":[21],"shown":[22],"promising":[23],"results,":[24],"but":[25],"most":[26],"still":[27,58],"follow":[28],"a":[29,75],"single-turn":[30,190],"generation":[31],"paradigm:":[32],"given":[33],"assembly":[34],"code":[35,49,93,108,127],"or":[36,53],"decompiler-produced":[37],"pseudo-code,":[38],"the":[39,47,61,64,104,168,193,224],"model":[40,105,178,195],"generates":[41],"one":[42],"output":[43],"stops.":[45],"Consequently,":[46],"generated":[48,107],"may":[50],"appear":[51],"readable":[52],"even":[54],"compile":[55],"successfully,":[56],"yet":[57],"deviate":[59],"from":[60,141],"behavior":[62],"of":[63,88,227],"original":[65],"binary":[66,85,229],"mislead":[68],"downstream":[69],"analysis.":[70],"This":[71],"paper":[72],"presents":[73],"AutoDecompiler,":[74],"decompilation-specialized":[76],"LLM":[77],"trained":[78],"with":[79,215],"reinforcement":[80,216],"learning":[81,210,217],"for":[82,222],"feedback-driven":[83],"multi-turn":[84],"decompilation.":[86,230],"Instead":[87],"treating":[89],"one-shot":[92],"generation,":[94],"AutoDecompiler":[95,169,186],"formulates":[96],"it":[97,173],"an":[99,219],"iterative":[100],"refinement":[101],"process,":[102,120],"where":[103],"revises":[106],"based":[109],"on":[110],"compilation,":[111],"execution,":[112],"input/output":[114],"testing":[115],"feedback.":[116],"To":[117],"enable":[118],"this":[119],"we":[121],"design":[122],"decompilation-specific":[123],"rewards":[124],"that":[125,185,209],"capture":[126],"validity,":[128],"recompilability,":[129],"execution":[130,144],"consistency,":[131],"semantic":[133],"fidelity.":[134],"We":[135,166],"further":[136],"construct":[137],"stage-aware":[138],"diagnostic":[139],"feedback":[140,214],"compiler":[142],"errors,":[143],"failures,":[145],"failed":[147],"test":[148],"cases,":[149],"introduce":[151],"progress-aware":[152],"trajectory":[153],"rewarding":[154],"turn-aware":[156],"advantage":[157],"reweighting":[158],"encourage":[160],"beneficial":[161],"revisions":[162],"while":[163],"suppressing":[164],"regressions.":[165],"train":[167],"family":[170],"evaluate":[172],"across":[174],"different":[175],"input":[176,198],"settings,":[177],"scales,":[179],"benchmarks.":[181],"Experimental":[182],"results":[183,207],"show":[184],"consistently":[187],"outperforms":[188],"its":[189],"counterparts":[191],"under":[192],"same":[194],"size":[196],"setting,":[199],"achieving":[200],"clear":[201],"improvements":[202],"in":[203],"behavioral":[204],"re-executability.":[205],"These":[206],"demonstrate":[208],"exploit":[212],"effective":[220],"direction":[221],"improving":[223],"functional":[225],"correctness":[226]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-17T00:00:00"}