From Defects to Demands: A Unified, Iterative, and Heuristically Guided LLM-Based Framework for Automated Software Repair and Requirement Realization
This work addresses the challenge of fully automating coding tasks for software engineers, claiming to replace human programmers and advance AI-driven software innovation, though it appears to be a strong incremental improvement rather than a completely new paradigm.
The paper tackles the problem of automating software repair and requirement realization by proposing a unified, iterative framework that combines large language models with formal verification and test-driven development, achieving a 38.6% improvement over the previous top performer's 48.33% accuracy on the SWE-bench benchmark.
This manuscript signals a new era in the integration of artificial intelligence with software engineering, placing machines at the pinnacle of coding capability. We present a formalized, iterative methodology proving that AI can fully replace human programmers in all aspects of code creation and refinement. Our approach, combining large language models with formal verification, test-driven development, and incremental architectural guidance, achieves a 38.6% improvement over the current top performer's 48.33% accuracy on the SWE-bench benchmark. This surpasses previously assumed limits, signaling the end of human-exclusive coding and the rise of autonomous AI-driven software innovation. More than a technical advance, our work challenges centuries-old assumptions about human creativity. We provide robust evidence of AI superiority, demonstrating tangible gains in practical engineering contexts and laying the foundation for a future in which computational creativity outpaces human ingenuity.