Can a system learn from interactive proofs?

Leo Freitas; Cliff B. Jones; Andrius Velykis

doi:10.29007/s478

Download PDF Open PDF in browser

Can a system learn from interactive proofs?

16 pages•Published: February 12, 2014

Leo Freitas, Cliff Jones and Andrius Velykis

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.

In: Andrei Voronkov and Margarita Korovina (editors). HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday, vol 42, pages 124--139

Links:	https://easychair.org/publications/paper/ClcM
	https://doi.org/10.29007/s478

BibTeX entry

@inproceedings{HOWARD-60:Can_system_learn_from,
  author    = {Leo Freitas and Cliff B. Jones and Andrius Velykis},
  title     = {Can a system learn from interactive proofs?},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {124--139},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/ClcM},
  doi       = {10.29007/s478}}

Download PDF Open PDF in browser