Download PDFOpen PDF in browserCan a system learn from interactive proofs?16 pages•Published: February 12, 2014AbstractThis paper sets out the on-going research in a project which isinvestigating 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.
|