{"id":"https://openalex.org/W7161723905","doi":"https://doi.org/10.48550/arxiv.2605.18073","title":"A-ProS: Towards Reliable Autonomous Programming Through Multi-Model Feedback","display_name":"A-ProS: Towards Reliable Autonomous Programming Through Multi-Model Feedback","publication_year":2026,"publication_date":"2026-05-18","ids":{"openalex":"https://openalex.org/W7161723905","doi":"https://doi.org/10.48550/arxiv.2605.18073"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.18073","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.18073","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":null,"license_id":null,"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.18073","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080258482","display_name":"Anika Tabassum","orcid":"https://orcid.org/0000-0002-5460-0955"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tabassum, Anika","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113005111","display_name":"Md Sifat Hossain","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hossain, Md Sifat","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136492656","display_name":"Md. Fahim Arefin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Arefin, Md. Fahim","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136499281","display_name":"Tariqul Islam","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Islam, Tariqul","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136499779","display_name":"Tarannum Shaila Zaman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zaman, Tarannum Shaila","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/T11636","display_name":"Artificial Intelligence in Healthcare and Education","score":0.1542000025510788,"subfield":{"id":"https://openalex.org/subfields/2718","display_name":"Health Informatics"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T11636","display_name":"Artificial Intelligence in Healthcare and Education","score":0.1542000025510788,"subfield":{"id":"https://openalex.org/subfields/2718","display_name":"Health Informatics"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11948","display_name":"Machine Learning in Materials Science","score":0.13770000636577606,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.11219999939203262,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6668000221252441},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6207000017166138},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5008000135421753},{"id":"https://openalex.org/keywords/testbed","display_name":"Testbed","score":0.45509999990463257},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.4302000105381012},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.39399999380111694},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.38269999623298645},{"id":"https://openalex.org/keywords/baseline","display_name":"Baseline (sea)","score":0.34040001034736633},{"id":"https://openalex.org/keywords/reactive-programming","display_name":"Reactive programming","score":0.3402999937534332},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.32850000262260437}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7922000288963318},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6668000221252441},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6207000017166138},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5260000228881836},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5008000135421753},{"id":"https://openalex.org/C31395832","wikidata":"https://www.wikidata.org/wiki/Q1318674","display_name":"Testbed","level":2,"score":0.45509999990463257},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.4302000105381012},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.39399999380111694},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.38269999623298645},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3582000136375427},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.34040001034736633},{"id":"https://openalex.org/C150762246","wikidata":"https://www.wikidata.org/wiki/Q4354073","display_name":"Reactive programming","level":4,"score":0.3402999937534332},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33180001378059387},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.32850000262260437},{"id":"https://openalex.org/C2778222013","wikidata":"https://www.wikidata.org/wiki/Q1136926","display_name":"Alice (programming language)","level":2,"score":0.31929999589920044},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.3160000145435333},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.3091000020503998},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.30869999527931213},{"id":"https://openalex.org/C120558287","wikidata":"https://www.wikidata.org/wiki/Q1418502","display_name":"Procedural programming","level":4,"score":0.3057999908924103},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3034000098705292},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.30169999599456787},{"id":"https://openalex.org/C119489759","wikidata":"https://www.wikidata.org/wiki/Q5508843","display_name":"Functional reactive programming","level":5,"score":0.2962999939918518},{"id":"https://openalex.org/C103613024","wikidata":"https://www.wikidata.org/wiki/Q230924","display_name":"Stateless protocol","level":3,"score":0.28360000252723694},{"id":"https://openalex.org/C13687954","wikidata":"https://www.wikidata.org/wiki/Q4826847","display_name":"Autonomous agent","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C30128091","wikidata":"https://www.wikidata.org/wiki/Q291929","display_name":"Predicate transformer semantics","level":4,"score":0.2799000144004822},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.27900001406669617},{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.27730000019073486},{"id":"https://openalex.org/C2777210712","wikidata":"https://www.wikidata.org/wiki/Q15221050","display_name":"Configurator","level":2,"score":0.2759000062942505},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.2685999870300293},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.26840001344680786},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.2671000063419342},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.2603999972343445},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.2599000036716461},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.25920000672340393},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.18073","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.18073","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.18073","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.18073","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs)":[3],"demonstrate":[4],"strong":[5],"potential":[6],"for":[7,29,186],"automated":[8],"code":[9],"generation,":[10],"yet":[11],"their":[12],"ability":[13],"to":[14,128,139,164,167],"iteratively":[15],"refine":[16],"solutions":[17,127],"using":[18],"execution":[19],"feedback":[20,70,185],"remains":[21],"underexplored.":[22],"Competitive":[23],"programming":[24,64],"offers":[25],"an":[26,57],"ideal":[27],"testbed":[28],"this":[30,52],"investigation,":[31],"as":[32],"it":[33],"demands":[34],"end-to-end":[35],"algorithmic":[36],"reasoning,":[37],"precise":[38],"implementation":[39],"under":[40,93],"strict":[41],"computational":[42],"constraints,":[43],"and":[44,83,91,112,158,183],"complete":[45],"functional":[46],"correctness":[47],"with":[48,85],"rigorous":[49],"evaluation.":[50],"In":[51],"paper,":[53],"we":[54],"present":[55],"A-ProS,":[56],"autonomous":[58,188],"AI":[59],"agent":[60,169],"that":[61,119,148],"solves":[62],"competitive":[63],"problems":[65,106,146],"through":[66],"a":[67,94],"hybrid":[68],"multi-model":[69,184],"framework":[71],"separating":[72],"solution":[73],"generation":[74],"from":[75,107,123,137],"specialized":[76],"debugging.":[77],"A-ProS":[78,171],"combines":[79],"ChatGPT-based":[80],"generators":[81],"(GPT-4":[82],"GPT-5)":[84],"three":[86,131],"debugging":[87],"critics:":[88],"Codestral-2508,":[89],"Llama-3.3-70B,":[90],"DeepSeek-R1,":[92],"2":[95],"x":[96],"3":[97],"factorial":[98],"design.":[99],"We":[100],"evaluate":[101],"six":[102],"workflows":[103,121],"on":[104,144],"367":[105],"ICPC":[108],"World":[109],"Finals":[110],"(2011-2024)":[111],"Codeforces":[113],"(rated":[114],"1200-1800).":[115],"The":[116],"results":[117],"show":[118],"GPT-5":[120],"improve":[122],"39":[124],"initial":[125],"accepted":[126],"85-90":[129],"after":[130],"refinement":[132,150],"rounds,":[133],"while":[134],"GPT-4":[135],"improves":[136],"15":[138],"31-38.":[140],"A":[141],"controlled":[142],"ablation":[143],"47":[145],"shows":[147],"stateful":[149],"outperforms":[151],"stateless":[152],"approaches":[153],"by":[154,162],"8.5-10.6":[155],"percentage":[156],"points":[157],"reduces":[159],"repeated":[160],"failures":[161],"up":[163],"3.5x.":[165],"Compared":[166],"baseline":[168],"loops,":[170],"achieves":[172],"over":[173],"2x":[174],"greater":[175],"gains,":[176],"highlighting":[177],"the":[178],"importance":[179],"of":[180],"persistent":[181],"context":[182],"reliable":[187],"program":[189],"synthesis.":[190]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-20T00:00:00"}