Can a system learn from interactive proofs?

HOWARD-60 Pub Date : 2014-02-12 DOI:10.29007/s478

Leo Freitas, Cliff B. Jones, A. Velykis

引用次数: 3

Abstract

This paper sets out the on-going research in a project which is investigating how to learn from one interactive proof so that other similar proofs can be completed automatically.

查看原文本刊更多论文

系统能从交互式证明中学习吗?

本文阐述了一个项目正在进行的研究，该项目正在研究如何从一个交互式证明中学习，从而使其他类似的证明可以自动完成。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

HOWARD-60

自引率

0.00%

发文量