欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
DeepDive 是一个类似Watson的开源(Apache v2)项目，主要基于SQL和Python。众知Watson是一个比较出色的QA系统，而DeepDive主要面向从互联网非结构化数据中抽取结构化信息，做一系列后处理，构建知识库并抽取关系等。
数据模型
数据流
