Zero-Degree-of-Freedom Programming: Using Executable Oracles to Constrain LLM Coding Agents
The article discusses the concept of 'zero-degree-of-freedom programming' where LLM-based coding agents are used with executable oracles to constrain their output. The author, John Regehr, acknowledges that current LLMs can perform well on highly constrained tasks like working with complex APIs or fixing bugs, but expresses skepticism about their reliability
