List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Premise selection for mathematics by corpus analysis and kernel methods Journal of Automated Reasoning | 2015-07-02 | Paper |
| Overview and evaluation of premise selection techniques for large theory mathematics Automated Reasoning | 2012-09-05 | Paper |
| Learning2Reason Lecture Notes in Computer Science | 2011-07-29 | Paper |
| Co-regularized least-squares for label ranking Preference Learning | 2010-12-14 | Paper |
| An efficient algorithm for learning to rank from preference graphs Machine Learning | 2010-10-07 | Paper |
| Learning intransitive reciprocal relations with kernel methods European Journal of Operational Research | 2010-06-11 | Paper |
| Advances in Intelligent Data Analysis VI Lecture Notes in Computer Science | 2006-11-01 | Paper |
Research outcomes over time
This page was built for person: Evgeni Tsivtsivadze
