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