刘先明：第一个问题核心就是你是做自动驾驶还是AI？如果这个问题回答了，那答案其实很清楚了。我们做的是一个AI，不是专门只是用来做自动驾驶，所以一个AI模型是怎么做的，我们就是什么样子的。
End-to-end validation on certified robustness, PINN residual bounds, and Lyapunov-style neural controller verification, plus mechanized theory results (including a universal approximation theorem).
。业内人士推荐一键获取谷歌浏览器下载作为进阶阅读
A younger version of myself felt guilty at disliking reading scientific papers. Then I realized I just didn’t want to be a scientist, and stopped caring. (Also, I realized that nobody really enjoys it, so it’s kind of a moot point; when I realized this I tried to solve the problem for everybody, and now work for a startup that is making real progress against this problem.)
更多详细新闻请浏览新京报网 www.bjnews.com.cn