May, 2018

机器学习程序分析 - Ariadne

TL;DR使用静态框架 WALA 对使用 TensorFlow 的机器学习代码进行静态分析和数据流分析,以跟踪张量的类型和用法,提高 Python 机器学习代码的错误检测能力。