欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Caffe 是一个C++开发的开源深度学习框架。
Caffe 也是Google 计算机视觉项目 DeepDream（可以识别喵星人的人工智能神经网络）的基础。
贾扬清：希望Caffe成为深度学习领域的Hadoop。
