Leo Freitas, Cliff B. Jones, Andrius Velykis. Can a system learn from interactive proofs?. In Andrei Voronkov, Margarita V. Korovina, editors, HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday. pages 124-139, EasyChair, 2014. [doi]
Abstract is missing.