MIT关于模型检测的课件主要讲的是llt和其他的一些逻辑还有spin都是一些入门的东西高手不需要