arXiv 2011-08-17 EN Premise Selection for Mathematics by Corpus Analysis and Kernel Methods Alama, Jesse · Heskes, Tom · Kühlwein, Daniel · Tsivtsivadze, Evgeni +1
