TY  - RPRT
TI  - SkillForge: Compositional Skill Synthesis with Verification-in-the-Loop for Generating Formally Verified Dafny Programs
AU  - Yanming Liu
AU  - Xinyue Peng
AU  - Jiannan Cao
AU  - Xinyi Wang
AU  - Jinbo Su
PY  - 2026
UR  - https://arxiv.org/abs/2608.29841
ID  - 2608.29841
ER  -