{"id":"https://openalex.org/W7220955136","doi":"https://doi.org/10.1145/3832783.3837487","title":"Aligning User Requirement with Large Language Model in Code Generation","display_name":"Aligning User Requirement with Large Language Model in Code Generation","publication_year":2026,"publication_date":"2026-10-07","ids":{"openalex":"https://openalex.org/W7220955136","doi":"https://doi.org/10.1145/3832783.3837487"},"language":"en","primary_location":{"id":"doi:10.1145/3832783.3837487","doi":"https://doi.org/10.1145/3832783.3837487","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3832783.3837487","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3832783.3837487?download=true","source":{"id":"https://openalex.org/S4363608212","display_name":"IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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 41st IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3832783.3837487?download=true","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101546023","display_name":"Jia Li","orcid":"https://orcid.org/0000-0002-9411-971X","observed_orcids":["https://orcid.org/0000-0002-9411-971X","https://orcid.org/0000-0002-2701-4686"]},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jia Li","raw_affiliation_strings":["Wuhan University, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0002-9411-971X","affiliations":[{"raw_affiliation_string":"Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134009160","display_name":"Ruiqi Bai","orcid":"https://orcid.org/0009-0003-3862-3211","observed_orcids":["https://orcid.org/0009-0003-3862-3211"]},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ruiqi Bai","raw_affiliation_strings":["Wuhan University, Wuhan, China"],"raw_orcid":"https://orcid.org/0009-0003-3862-3211","affiliations":[{"raw_affiliation_string":"Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5157961646","display_name":"Yangkang Luo","orcid":"https://orcid.org/0009-0000-7184-0849","observed_orcids":["https://orcid.org/0009-0000-7184-0849"]},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yangkang Luo","raw_affiliation_strings":["Wuhan University, Wuhan, China"],"raw_orcid":"https://orcid.org/0009-0000-7184-0849","affiliations":[{"raw_affiliation_string":"Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107249132","display_name":"Yiran Zhang","orcid":"https://orcid.org/0000-0002-9366-6076","observed_orcids":["https://orcid.org/0000-0002-9366-6076"]},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yiran Zhang","raw_affiliation_strings":["Nanyang Technological University, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-9366-6076","affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134011261","display_name":"Wentao Yang","orcid":"https://orcid.org/0009-0005-4839-2087","observed_orcids":["https://orcid.org/0009-0005-4839-2087"]},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wentao Yang","raw_affiliation_strings":["Wuhan University, Wuhan, China"],"raw_orcid":"https://orcid.org/0009-0005-4839-2087","affiliations":[{"raw_affiliation_string":"Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047965752","display_name":"Zeyu Sun","orcid":"https://orcid.org/0000-0002-9990-9120","observed_orcids":["https://orcid.org/0000-0002-9990-9120"]},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zeyu Sun","raw_affiliation_strings":["Institute of Software at Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-9990-9120","affiliations":[{"raw_affiliation_string":"Institute of Software at Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134012719","display_name":"Tiankuo Zhao","orcid":"https://orcid.org/0009-0004-1869-7106","observed_orcids":["https://orcid.org/0009-0004-1869-7106"]},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tiankuo Zhao","raw_affiliation_strings":["Wuhan University, Wuhan, China"],"raw_orcid":"https://orcid.org/0009-0004-1869-7106","affiliations":[{"raw_affiliation_string":"Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114245528","display_name":"Dongming Jin","orcid":"https://orcid.org/0009-0002-8164-6227","observed_orcids":["https://orcid.org/0009-0002-8164-6227","https://orcid.org/0000-0002-5451-2816"]},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dongming Jin","raw_affiliation_strings":["Peking University, Key Lab of High Confidence Software Technology (PKU), Ministry of Education, School of Computer Science, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0002-8164-6227","affiliations":[{"raw_affiliation_string":"Peking University, Key Lab of High Confidence Software Technology (PKU), Ministry of Education, School of Computer Science, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100440277","display_name":"Lei Li","orcid":"https://orcid.org/0000-0002-0688-9619","observed_orcids":["https://orcid.org/0000-0002-0688-9619","https://orcid.org/0009-0008-6984-5104"]},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Lei Li","raw_affiliation_strings":["University of Hong Kong, Hong Kong, Hong Kong"],"raw_orcid":"https://orcid.org/0009-0008-6984-5104","affiliations":[{"raw_affiliation_string":"University of Hong Kong, Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I889458895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049100391","display_name":"Zhi Gang Jin","orcid":"https://orcid.org/0000-0003-1087-226X","observed_orcids":["https://orcid.org/0000-0003-1087-226X"]},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhi Jin","raw_affiliation_strings":["Wuhan University, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0003-1087-226X","affiliations":[{"raw_affiliation_string":"Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.5961,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.96484329,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"2422","last_page":"2434"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9945999979972839,"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.9945999979972839,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.0010999999940395355,"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/T10533","display_name":"Teaching and Learning Programming","score":0.0007999999797903001,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/code-generation","display_name":"code generation","score":0.6840000152587891},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.9660000205039978},{"id":"https://openalex.org/keywords/user-requirements","display_name":"user requirements","score":0.8769999742507935},{"id":"https://openalex.org/keywords/program-correctness","display_name":"program correctness","score":0.5809999704360962}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.694100022315979},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5250999927520752},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5020999908447266},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.444599986076355},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3285999894142151},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.3160000145435333},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.3077000081539154},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.30469998717308044},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.29589998722076416},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2939000129699707},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2919999957084656},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2906000018119812},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.28299999237060547},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2766999900341034},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.25679999589920044},{"id":"https://openalex.org/C2778751112","wikidata":"https://www.wikidata.org/wiki/Q835016","display_name":"Window (computing)","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3832783.3837487","doi":"https://doi.org/10.1145/3832783.3837487","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3832783.3837487","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3832783.3837487?download=true","source":{"id":"https://openalex.org/S4363608212","display_name":"IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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 41st IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2604.16198","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2604.16198","pdf_url":"https://arxiv.org/pdf/2604.16198","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.2604.16198","doi":"https://doi.org/10.48550/arxiv.2604.16198","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.16198","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1145/3832783.3837487","doi":"https://doi.org/10.1145/3832783.3837487","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3832783.3837487","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3832783.3837487?download=true","source":{"id":"https://openalex.org/S4363608212","display_name":"IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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 41st IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1911779406","display_name":null,"funder_award_id":"92582203","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3446613798","display_name":null,"funder_award_id":"62192730","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5393181860","display_name":"\u9762\u5411\u7a0b\u5e8f\u7406\u89e3\u7684\u6df1\u5ea6\u795e\u7ecf\u7f51\u7edc\u6a21\u578b\u53ca\u5173\u952e\u6280\u672f\u7814\u7a76","funder_award_id":"62072007","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5482656022","display_name":null,"funder_award_id":"62192731","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8449925957","display_name":null,"funder_award_id":"62192733","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7220955136.pdf","grobid_xml":"https://content.openalex.org/works/W7220955136.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W3177813494","https://openalex.org/W3195140297","https://openalex.org/W3213368902","https://openalex.org/W4226277721","https://openalex.org/W4226287673","https://openalex.org/W4238107957","https://openalex.org/W4239799651","https://openalex.org/W4241036955","https://openalex.org/W4286750487","https://openalex.org/W4323927478","https://openalex.org/W4365205411","https://openalex.org/W4377238789","https://openalex.org/W4381252103","https://openalex.org/W4385572345","https://openalex.org/W4385963839","https://openalex.org/W4386044474","https://openalex.org/W4390092490","https://openalex.org/W4392822190","https://openalex.org/W4393177849","https://openalex.org/W4399557965","https://openalex.org/W4399601909","https://openalex.org/W4400582230","https://openalex.org/W4401996408","https://openalex.org/W4402671013","https://openalex.org/W4402672045","https://openalex.org/W4402672108","https://openalex.org/W4402683806","https://openalex.org/W4402684050","https://openalex.org/W4403536415","https://openalex.org/W4403934134","https://openalex.org/W4407571908","https://openalex.org/W4411120270","https://openalex.org/W4411552767","https://openalex.org/W4411950354","https://openalex.org/W4412944903","https://openalex.org/W4415273800","https://openalex.org/W4416691564","https://openalex.org/W4417006854","https://openalex.org/W7119523234","https://openalex.org/W7125135101","https://openalex.org/W7125956055","https://openalex.org/W7133243119","https://openalex.org/W7133300551","https://openalex.org/W7138268342"],"related_works":["https://openalex.org/W7155017091","https://openalex.org/W4416691564","https://openalex.org/W7160204180","https://openalex.org/W4405425461","https://openalex.org/W7168828084","https://openalex.org/W4388275353","https://openalex.org/W6885145836","https://openalex.org/W4407571908","https://openalex.org/W4401662005","https://openalex.org/W4400582230"],"abstract_inverted_index":{"Code":[0],"generation":[1,44,86,135,189],"refers":[2],"to":[3,16,41,82],"automatically":[4],"producing":[5],"executable":[6],"programs":[7],"from":[8],"user":[9],"requirements.":[10,106],"Recently,":[11],"researchers":[12],"have":[13],"explored":[14],"approaches":[15,32],"enhance":[17,42,83],"the":[18,56,61,84,94,105,110,120,125,142,176,180,187],"correctness":[19],"of":[20,88,130,145,168,182,191],"generated":[21,121],"code":[22,43,85,115,122,134,139,188],"with":[23,101,124],"advanced":[24,154],"large":[25],"language":[26],"models.":[27],"Although":[28],"achieving":[29,141],"improvements,":[30],"existing":[31],"focus":[33],"on":[34,109,156,175],"designing":[35],"reasoning":[36],"strategies":[37],"or":[38,140],"post-refinement":[39],"methods":[40,51],"performance.":[45],"Despite":[46],"their":[47],"differences,":[48],"all":[49,153],"these":[50],"share":[52],"a":[53,78],"common":[54],"assumption:":[55],"LLM":[57],"can":[58],"correctly":[59],"understand":[60],"given":[62],"requirement.":[63],"However,":[64],"this":[65,73,128],"assumption":[66],"does":[67,98],"not":[68,99],"always":[69],"hold.":[70],"To":[71],"fill":[72],"gap,":[74],"we":[75],"propose":[76],"REA-Coder,":[77],"requirement":[79,95,131,183],"alignment":[80,132,184],"approach":[81],"performance":[87,190],"LLMs.":[89,192],"REA-Coder":[90,151,164],"involves":[91],"first":[92],"identifying":[93],"content":[96],"that":[97,150],"align":[100],"LLMs":[102,113,158],"and":[103,116,133,173],"aligning":[104],"Then,":[107],"based":[108],"aligned":[111],"requirements,":[112,126],"generate":[114],"further":[117],"verify":[118],"whether":[119],"aligns":[123],"iterating":[127],"process":[129],"until":[136],"generating":[137],"correct":[138],"maximum":[143],"number":[144],"iterations.":[146],"Experimental":[147],"results":[148],"show":[149],"outperforms":[152],"baselines":[155],"four":[157],"across":[159],"five":[160,177],"programming":[161],"benchmarks.":[162],"Concretely,":[163],"achieves":[165],"average":[166],"improvements":[167],"7.93%,":[169],"30.25%,":[170],"26.75%,":[171],"8.59%,":[172],"8.15%":[174],"benchmarks,":[178],"demonstrating":[179],"effectiveness":[181],"for":[185],"improving":[186]},"counts_by_year":[{"year":2026,"cited_by_count":3}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-10-09T00:00:00"}