Wangd-asr-book

来自cslt Wiki
2016年10月5日 (三) 07:37Cslt讨论 | 贡献的版本

(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转至: 导航搜索

some tips for chapter 1:


Automatic reasoning (proof)


DeepAlgebra - an outline of a program (a NLP frontend that convert natural langauge to formal terms) https://arxiv.org/pdf/1610.01044v1.pdf

Iterative Theorem Provers (ITPs) such as COQ [5] or Mizar[12] [2] (Other standard ITPs include HOL (Light), Isabelle and ACL2.) Automatic Theorem Prover (ATP), for example E [14] [15] (Other standard ATPs include Vampyre, Z3 and JProver.)

COQ: iterative Theorem Provers (ITP) https://coq.inria.fr/about-coq