`lf-lean`: The frontier of verified software engineering
Introduction As AIs automate increasingly complex software tasks, one question gets harder to answer: how do we know the code they produce is correct? The standard approach of reviewing AI-generated code and its tests doesn’t scale. Human review effort grows proportionally with code volume, while AI code generation capacity grows exponentially. 1 1 Frontier software engineering typically…