Xinyue Peng

SKILLFORGE achieves rapid formal verification of Dafny programs by intelligently orchestrating a library of specialized skills, outperforming existing methods in both speed and accuracy.

MoE students can not only match but often surpass their dense teacher counterparts using a novel distillation framework that optimizes routing policies without explicit guidance.