SpecRover: Code Intent Extraction via LLMs

Understand

Autonomous program improvement typically involves automatically producing bug fixes and feature additions.

• Such program improvement can be accomplished by a combination of large language model (LLM) and program analysis capabilities, in the form of an LLM agent.
• Since program repair or program improvement typically requires a specification of intended behavior - specification inference can be useful for producing high quality program patches.
• In this work, we examine efficient and low-cost workflows for iterative specification inference within an LLM agent.