Can a system learn from interactive proofs?

First Author: Leo Freitas; Cliff B. Jones; Andrius Velykis
Attributed to:  AI4FM: using AI to aid automation of proof search in Formal Methods funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www.easychair.org/publications/?page=324499439

Type: Book Chapter

Book Title: HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday (2014)

Page Reference: 124-139