{"id":"https://openalex.org/W7166876165","doi":"https://doi.org/10.18653/v1/2026.acl-long.1099","title":"Powering Verifiable Learning via Automated Evolutionary Data Synthesis","display_name":"Powering Verifiable Learning via Automated Evolutionary Data Synthesis","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7166876165","doi":"https://doi.org/10.18653/v1/2026.acl-long.1099"},"language":null,"primary_location":{"id":"doi:10.18653/v1/2026.acl-long.1099","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.acl-long.1099","pdf_url":"https://aclanthology.org/2026.acl-long.1099.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://aclanthology.org/2026.acl-long.1099.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101594097","display_name":"He Du","orcid":"https://orcid.org/0000-0002-9547-1459"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"He Du","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139791698","display_name":"Bowen Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bowen Li","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031142835","display_name":"Aijun Yang","orcid":"https://orcid.org/0000-0002-9166-4421"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aijun Yang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060181370","display_name":"Siyang He","orcid":"https://orcid.org/0009-0009-4222-7266"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Siyang He","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139747848","display_name":"Qipeng Guo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qipeng Guo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139844652","display_name":"Kai Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kai Chen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5139781846","display_name":"Dacheng Tao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dacheng Tao","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":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.86440047,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"23963","last_page":"23980"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.3393000066280365,"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"}},"topics":[{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.3393000066280365,"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"}},{"id":"https://openalex.org/T12535","display_name":"Machine Learning and Data Classification","score":0.2637999951839447,"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"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.17990000545978546,"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/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.48510000109672546},{"id":"https://openalex.org/keywords/evolutionary-algorithm","display_name":"Evolutionary algorithm","score":0.3840999901294708},{"id":"https://openalex.org/keywords/modern-evolutionary-synthesis","display_name":"Modern evolutionary synthesis","score":0.364300012588501},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.28459998965263367},{"id":"https://openalex.org/keywords/evolutionary-computation","display_name":"Evolutionary computation","score":0.28349998593330383}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.638700008392334},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.48510000109672546},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43059998750686646},{"id":"https://openalex.org/C159149176","wikidata":"https://www.wikidata.org/wiki/Q14489129","display_name":"Evolutionary algorithm","level":2,"score":0.3840999901294708},{"id":"https://openalex.org/C137583809","wikidata":"https://www.wikidata.org/wiki/Q1096404","display_name":"Modern evolutionary synthesis","level":2,"score":0.364300012588501},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.28459998965263367},{"id":"https://openalex.org/C105902424","wikidata":"https://www.wikidata.org/wiki/Q1197129","display_name":"Evolutionary computation","level":2,"score":0.28349998593330383},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2741999924182892},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.266400009393692},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25920000672340393}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2026.acl-long.1099","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.acl-long.1099","pdf_url":"https://aclanthology.org/2026.acl-long.1099.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2026.acl-long.1099","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.acl-long.1099","pdf_url":"https://aclanthology.org/2026.acl-long.1099.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7166876165.pdf","grobid_xml":"https://content.openalex.org/works/W7166876165.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Reliable":[0],"verifiable":[1,20,37,134],"data":[2,38,91,165],"has":[3],"become":[4],"a":[5,76,113],"key":[6],"driver":[7],"of":[8,80,146,180],"capability":[9],"gains":[10],"in":[11],"modern":[12],"language":[13],"models,":[14],"enabling":[15],"stable":[16],"reinforcement":[17],"learning":[18],"with":[19,162],"rewards":[21],"and":[22,31,45,74,105,108,121,137,153,173],"effective":[23],"distillation":[24,155],"that":[25,51,68,116,160],"transfers":[26],"competence":[27],"across":[28,72],"math,":[29],"coding,":[30],"agentic":[32],"tasks.Yet":[33],"constructing":[34],"generalizable":[35],"synthetic":[36],"remains":[39],"difficult":[40],"due":[41],"to":[42,53],"hallucination-prone":[43],"generation,":[44],"weak":[46,57],"or":[47,65],"trivial":[48],"verification":[49,106],"artifacts":[50],"fail":[52],"separate":[54],"strong":[55],"from":[56,95],"solutions.Existing":[58],"approaches":[59],"often":[60],"rely":[61],"on":[62,169],"task-specific":[63],"heuristics":[64],"post-hoc":[66],"filters":[67],"do":[69],"not":[70],"transfer":[71],"domains":[73],"lack":[75],"principled,":[77],"universal":[78],"evaluator":[79,115],"verifiability.In":[81],"this":[82],"work,":[83],"we":[84],"introduce":[85],"an":[86],"evolutionary,":[87],"task-agnostic,":[88],"strategy-guided,":[89],"executably-checkable":[90],"synthesis":[92],"framework":[93,182],"that,":[94],"minimal":[96],"seed":[97],"supervision,":[98],"jointly":[99],"synthesizes":[100],"problems,":[101],"diverse":[102],"candidate":[103],"solutions,":[104],"artifacts,":[107],"iteratively":[109],"discovers":[110],"strategies":[111],"via":[112],"consistencybased":[114],"enforces":[117],"agreement":[118],"between":[119],"human-annotated":[120],"strategy-induced":[122],"checks.This":[123],"pipeline":[124],"upgrades":[125],"filtering":[126],"into":[127],"principled":[128],"synthesis:":[129],"it":[130],"reliably":[131],"assembles":[132],"coherent,":[133],"training":[135,156,161],"instances":[136],"generalizes":[138],"without":[139],"domain-specific":[140],"rules.Our":[141],"experiments":[142],"demonstrate":[143],"the":[144,147,171,177],"effectiveness":[145],"proposed":[148],"approach":[149],"under":[150],"both":[151,170],"RLVR":[152],"model":[154],"paradigms.The":[157],"results":[158],"show":[159],"our":[163,181],"synthesized":[164],"yields":[166],"significant":[167],"improvements":[168],"LiveCodeBench":[172],"AgentBench-OS":[174],"tasks,":[175],"highlighting":[176],"robust":[178],"generalization":[179],"1":[183],".":[184]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-07-02T00:00:00"}