arXiv NLP
SkillForge: Compositional Skill Synthesis with Verification-in-the-Loop for Generating Formally Verified Dafny Programs
arXiv:2608.29841v1 Announce Type: new Abstract: Generating formally verified programs from natural language remains challenging: existing approaches either produce code in a single pass without recour...
arXiv NLP