Search Results for author: Evgeni Tsivtsivadze

Found 2 papers, 0 papers with code

Semi-supervised Ranking Pursuit

no code implementations • 2 Jul 2013 • Evgeni Tsivtsivadze, Tom Heskes

We propose a novel sparse preference learning/ranking algorithm.

Paper
Add Code

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

no code implementations • 17 Aug 2011 • Jesse Alama, Tom Heskes, Daniel Kühlwein, Evgeni Tsivtsivadze, Josef Urban

A good method for premise selection in complex mathematical libraries is the application of machine learning to large corpora of proofs.

Mathematical Proofs

Paper
Add Code

Cannot find the paper you are looking for? You can Submit a new open access paper.