The paper teaches AI agents to understand big codebases without running the code by following a strict, step-by-step thinking template called semi-formal reasoning.
This paper teaches a computer agent to grow a toolbox of skills that are real, runnable programs, not just text ideas.