SkillForge: Compositional Skill Synthesis with Verification-in-the-Loop for Generating Formally Verified Dafny Programs

Yanming Liu, Xinyue Peng, Jiannan Cao +2

Generating formally verified programs from natural language remains challenging: existing approaches either produce code in a single pass without recourse when verification fails,…