Can a system learn from interactive proofs?

Autor:	Cliff B. Jones, Andrius Velykis, Leo Freitas
Rok vydání:	2018
Předmět:	History Programming language Environmental ethics Mathematical proof computer.software_genre computer
Zdroj:	HOWARD-60
ISSN:	2398-7340
DOI:	10.29007/s478
Popis:	This paper sets out the on-going research in a project which isinvestigating how to learn from one interactive proof so that other similar proofscan be completed automatically.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::119e2685bfc61ee12a1966a8203b3408 https://doi.org/10.29007/s478 Zobrazit plný text záznamu