{"id":"https://openalex.org/W7161567462","doi":"https://doi.org/10.48550/arxiv.2605.15334","title":"From I/O to Code with Discovery Agent","display_name":"From I/O to Code with Discovery Agent","publication_year":2026,"publication_date":"2026-05-14","ids":{"openalex":"https://openalex.org/W7161567462","doi":"https://doi.org/10.48550/arxiv.2605.15334"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.15334","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.15334","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.2605.15334","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136363299","display_name":"Yihong Dong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dong, Yihong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136364771","display_name":"Jiaru Qian","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qian, Jiaru","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136379386","display_name":"Haoran Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Haoran","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136448029","display_name":"Peixu Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Peixu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136440258","display_name":"Binhua Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Binhua","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136411856","display_name":"Zhi Jin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jin, Zhi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136387804","display_name":"Yongbin Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Yongbin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136382620","display_name":"Ge Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Ge","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136378339","display_name":"Xiaokang Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Xiaokang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136420439","display_name":"Xue Jiang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiang, Xue","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/T10260","display_name":"Software Engineering Research","score":0.3398999869823456,"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.3398999869823456,"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.22030000388622284,"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.0835999995470047,"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/exploit","display_name":"Exploit","score":0.608299970626831},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5012000203132629},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.46140000224113464},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.44760000705718994},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.4041999876499176},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.400299996137619},{"id":"https://openalex.org/keywords/premise","display_name":"Premise","score":0.3928999900817871},{"id":"https://openalex.org/keywords/genetic-programming","display_name":"Genetic programming","score":0.38179999589920044},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.3702000081539154}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8093000054359436},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.608299970626831},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5238000154495239},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5012000203132629},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49470001459121704},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.46140000224113464},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.44760000705718994},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44589999318122864},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.4041999876499176},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.400299996137619},{"id":"https://openalex.org/C2778023277","wikidata":"https://www.wikidata.org/wiki/Q321703","display_name":"Premise","level":2,"score":0.3928999900817871},{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.38179999589920044},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3702000081539154},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.3698999881744385},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.359499990940094},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3427000045776367},{"id":"https://openalex.org/C2781270358","wikidata":"https://www.wikidata.org/wiki/Q5885594","display_name":"Holy Grail","level":2,"score":0.3409000039100647},{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.3156999945640564},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3124000132083893},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.31189998984336853},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2913999855518341},{"id":"https://openalex.org/C2778583558","wikidata":"https://www.wikidata.org/wiki/Q771245","display_name":"Code reuse","level":3,"score":0.2831000089645386},{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.2757999897003174},{"id":"https://openalex.org/C159149176","wikidata":"https://www.wikidata.org/wiki/Q14489129","display_name":"Evolutionary algorithm","level":2,"score":0.2669000029563904},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.25870001316070557},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.2567000091075897},{"id":"https://openalex.org/C120567893","wikidata":"https://www.wikidata.org/wiki/Q1582085","display_name":"Knowledge extraction","level":2,"score":0.25589999556541443}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.15334","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.15334","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.2605.15334","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.15334","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0],"automatic":[1],"synthesis":[2],"of":[3,9,17,34],"a":[4,14,74,86,141],"program":[5,101],"from":[6,37,69,116,125,158],"any":[7],"form":[8],"specification":[10],"is":[11],"regarded":[12],"as":[13,44,95,108,140],"holy":[15],"grail":[16],"computer":[18],"science.":[19],"Fueled":[20],"by":[21],"LLMs,":[22,204],"NL2Code":[23,50],"has":[24],"achieved":[25],"tremendous":[26],"success,":[27],"yet":[28,130],"the":[29,53,109,123,136,146,149],"fundamentally":[30],"more":[31],"challenging":[32],"task":[33],"synthesizing":[35],"programs":[36],"input-output":[38],"behavior,":[39,72],"which":[40,104],"we":[41,83,134,174],"refer":[42],"to":[43,160,162],"IO2Code,":[45],"remains":[46],"largely":[47],"unsolved.":[48],"Whereas":[49],"can":[51],"exploit":[52],"semantic":[54],"alignment":[55],"between":[56],"natural":[57],"language":[58],"and":[59,76,112,194,202],"code":[60],"acquired":[61],"during":[62],"pretraining,":[63],"IO2Code":[64,94],"requires":[65],"recovering":[66],"underlying":[67],"principles":[68],"concrete":[70,113],"computational":[71],"navigating":[73],"vast":[75],"underspecified":[77],"hypothesis":[78,151],"space.":[79],"To":[80,121,170],"address":[81],"this,":[82],"propose":[84],"DIO-Agent,":[85],"discovery":[87],"agent":[88],"for":[89],"IO2Code.":[90],"Our":[91],"method":[92,193],"frames":[93],"an":[96,105,177],"evolutionary":[97],"search":[98,124],"over":[99],"discrete":[100],"space,":[102],"in":[103],"LLM":[106,147],"serves":[107],"mutation":[110,142],"operator":[111],"error":[114],"signals":[115],"execution":[117],"guide":[118],"each":[119],"mutation.":[120],"prevent":[122],"wandering":[126],"into":[127],"structurally":[128],"complex":[129],"incorrect":[131],"dead":[132],"ends,":[133],"introduce":[135],"Transformation":[137],"Priority":[138],"Premise":[139],"prior":[143],"that":[144,186],"biases":[145],"toward":[148],"simplest":[150],"consistent":[152],"with":[153,211],"current":[154],"evidence,":[155],"progressively":[156],"escalating":[157],"constants":[159],"conditionals":[161],"iteration":[163],"only":[164],"when":[165],"simpler":[166],"constructs":[167],"are":[168],"insufficient.":[169],"facilitate":[171],"systematic":[172],"study,":[173],"further":[175],"construct":[176],"IO2CodeBench":[178],"spanning":[179],"multiple":[180],"difficulty":[181,200],"levels.":[182],"Extensive":[183],"experiments":[184],"show":[185],"DIO-Agent":[187],"consistently":[188],"outperforms":[189],"both":[190],"traditional":[191],"program-by-example":[192],"SOTA":[195],"evolution-agent":[196],"baselines":[197],"across":[198],"all":[199],"levels":[201],"various":[203],"while":[205],"substantially":[206],"surpassing":[207],"test-time":[208],"scaling":[209],"strategies":[210],"equivalent":[212],"sampling":[213],"budgets.":[214]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-19T00:00:00"}