Toward automated verification of unreviewed AI-generated code - 信息索引