A-ProS: Towards Reliable Autonomous Programming Through Multi-Model Feedback

Large Language Models (LLMs) demonstrate strong potential for automated code generation, yet their ability to iteratively refine solutions using execution feedback remains underexplored. Competitive programming offers an ideal testbed for this investigation, as it demands end-to-end algorithmic reasoning, precise implementation under strict computational constraints, and complete functional correctness with rigorous evaluation. In this paper, we present A-ProS, an autonomous AI agent that solves competitive programming problems through a hybrid multi-model feedback framework separating solution generation from specialized debugging. A-ProS combines ChatGPT-based generators (GPT-4 and GPT-5) with three debugging critics: Codestral-2508, Llama-3.3-70B, and DeepSeek-R1, under a 2 × 3 factorial design. We evaluate six workflows on 367 problems from ICPC World Finals (2011–2024) and Codeforces (rated 1200–1800). The results show that GPT-5 workflows improve from 39 initial accepted solutions to 85–90 after three refinement rounds, while GPT-4 improves from 15 to 31–38. A controlled ablation on 47 problems shows that stateful refinement outperforms stateless approaches by 8.5–10.6 percentage points and reduces repeated failures by up to 3.5×. Compared to baseline agent loops, A-ProS achieves over 2× greater gains, highlighting the importance of persistent context and multi-model feedback for reliable autonomous program synthesis.

Authors

Institutions

Publication Details

Journal
ACM Transactions on Software Engineering and Methodology
Published
2026-06-18
DOI
https://doi.org/10.1145/3820891
Primary Topic
Software Engineering Research
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

A-ProS: Towards Reliable Autonomous Programming Through Multi-Model Feedback

Tariqul Islam, Md. Fahim Arefin, Tarannum Shaila Zaman, Anika Tabassum et al.
ACM Transactions on Software Engineering and Methodology
Software Engineering Research
article

A-ProS: Towards Reliable Autonomous Programming Through Multi-Model Feedback

Tariqul Islam, Md. Fahim Arefin, Tarannum Shaila Zaman, Anika Tabassum, Md Sifat Hossain
article en

Abstract

Large Language Models (LLMs) demonstrate strong potential for automated code generation, yet their ability to iteratively refine solutions using execution feedback remains underexplored. Competitive programming offers an ideal testbed for this investigation, as it demands end-to-end algorithmic reasoning, precise implementation under strict computational constraints, and complete functional correctness with rigorous evaluation. In this paper, we present A-ProS, an autonomous AI agent that solves competitive programming problems through a hybrid multi-model feedback framework separating solution generation from specialized debugging. A-ProS combines ChatGPT-based generators (GPT-4 and GPT-5) with three debugging critics: Codestral-2508, Llama-3.3-70B, and DeepSeek-R1, under a 2 × 3 factorial design. We evaluate six workflows on 367 problems from ICPC World Finals (2011–2024) and Codeforces (rated 1200–1800). The results show that GPT-5 workflows improve from 39 initial accepted solutions to 85–90 after three refinement rounds, while GPT-4 improves from 15 to 31–38. A controlled ablation on 47 problems shows that stateful refinement outperforms stateless approaches by 8.5–10.6 percentage points and reduces repeated failures by up to 3.5×. Compared to baseline agent loops, A-ProS achieves over 2× greater gains, highlighting the importance of persistent context and multi-model feedback for reliable autonomous program synthesis.

ACM Transactions on Software Engineering and Methodology
University of Dhaka (BD), University of Maryland, Baltimore County (US)
Openalex Percentile: Top 3%
Software Engineering Research
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.