Our paper, The Scaffolding Paradox: Evidence from AI-Assisted Dafny Proof Synthesis, is accepted at SEFM’26.