Mining State-Based Models from Proof Corpora
Learning-Assisted Automated Reasoning with Flyspeck