有了这个工具,不执行代码就可以找PyTorch模型错误
视学算法
共 2883字,需浏览 6分钟
·
2021-12-28 08:31
点击上方“视学算法”,选择加"星标"或“置顶”
重磅干货,第一时间送达
©作者 | 陈萍、泽南
来源 | 机器之心
几秒钟扫完代码,比训练一遍再找快多了。
论文地址:
https://arxiv.org/pdf/2112.09037.pdf
https://github.com/ropas/pytea
在线分析器:查找基于数值范围的形状不匹配和 API 参数的滥用。如果 PyTea 在分析代码时发现任何错误,它将停在该位置并将错误和违反约束通知用户;
离线分析器:生成的约束传递给 Z3 。Z3 将求解每个路径的约束集并打印第一个违反的约束(如果存在)。
# install node.js
sudo apt-get install nodejs
# install python z3-solver
pip install z3-solver
# download pytea
wget https://github.com/ropas/pytea/releases/download/v0.1.0/pytea.zip
unzip pytea.zip
# run pytea
python bin/pytea.py path/to/source.py
# run example file
python bin/pytea.py packages/pytea/pytest/basics/scratch.py
# install dependencies
npm run install:all
pip install z3-solver
# build
npm run build
点个在看 paper不断!
评论