Statistical Proof Pattern Recognition: Automated or Interactive?

Abstract

In this paper, we compare different existing approaches employed in data mining of big proof libraries in automated and interactive theorem proving. 

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics