130 citations · 130 across the 2 of their papers we have counts for
2 papers
stat.ML2013
Semi-supervised Ranking Pursuit
Evgeni Tsivtsivadze, Tom Heskes
We propose a novel sparse preference learning/ranking algorithm. Our algorithm approximates the true utility function by a weighted sum of basis functions using the squared loss on…
cs.LG2011★ 130 cited
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
Jesse Alama, Tom Heskes, Daniel Kühlwein +2
Smart premise selection is essential when using automated reasoning as a tool for large-theory formal proof development. A good method for premise selection in complex mathematical…