@misc{indiciaee5671bf52ae0,
  title = {SkillForge: Compositional Skill Synthesis with Verification-in-the-Loop for Generating Formally Verified Dafny Programs},
  author = {Yanming Liu and Xinyue Peng and Jiannan Cao and Xinyi Wang and Jinbo Su},
  year = {2026},
  url = {https://arxiv.org/abs/2608.29841},
  note = {Source identifier: 2608.29841}
}