找bug神器！自动检测PyTorch模型错误

点击上方“小白学视觉”，选择加"星标"或“置顶”重磅干货，第一时间送达来源 | 机器之心编辑 | 陈萍、泽南几秒钟扫完代码，比训练一遍再找快多了。张量形状不匹配是深度神经网络机器学习过程中会出现的重要错误之一。由于神经网络训练成本较高且耗时，在执行代码之前运行静态分析，要比执行然后发现错误快上很多。由于静态分析是在不运行代码的前提下进行的，因此可以帮助软件开发人员、质量保证人员查找代码中存在的结构性错误、安全漏洞等问题，从而保证软件的整体质量。相比于程序动态分析，静态分析具有不实际执行程序；执行速度快、效率高等特点而广受研究者青睐，目前，已有许多分析工具可供研究使用，如斯坦福大学开发的 Meta-Compilation（Coverity）、利物浦大学开发的 LDRA Testbed 等。近日，来自韩国首尔大学的研究者们 ………………………………