How do you teach proof writing to students who struggle with abstraction?

I teach an introductory logic course where many students can follow a proof when I write it on the board but freeze when asked to produce one themselves.

I've tried more worked examples and small-group proof sessions, with mixed results.

What has actually helped your students get past that first hurdle of writing their own proofs?