A Learning-Based Fact Selector for Isabelle/HOL

Blanchette, J., Greenaway, D., Kaliszyk, C., Kuhlwein, D., Urban, J.

BLANCHETTE, J., et al. A Learning-Based Fact Selector for Isabelle/HOL. Journal of Automated Reasoning. 2016, 57(3), 219-244. ISSN 0168-7433. DOI 10.1007/s10817-016-9362-8.