Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineering
Software development follows an implementation-verification loop in which developers or agents iteratively revise an implementation until an evaluator, such as a test suite, accepts it. The evaluator checks the implementation against a set of requirements under a model of the deployment environment. Yet even a formal p...
Alexander Krentsel, Shubham Agarwal, M. Cemri et al.
· 0 citations