Mining State-Based Models from Proof Corpora
Programs for machine learning Part I