Human review versus verified pipelines for catching bugs in AI-generated code ยท Digg