Login

Create new posts

At least 10 characters

Entities involved:

Preview:

HOL
HOL 的【AI】是什么东西？
ice1000

指 https://github.com/HOL-Theorem-Prover/HOL/tree/develop/src/AI 这个东西。 难道 HOL 已经开始把机器学习应用到自动证明里面了吗？

Preview:

Cancel