Travelled to:1 × France
1 × United Kingdom
Collaborated with:D.Kühlwein J.Urban T.Heskes T.v.Laarhoven H.Geuvers
Talks about:techniqu (1) overview (1) mathemat (1) theori (1) select (1) reason (1) premis (1) output (1) multi (1) evalu (1)
Person: Evgeni Tsivtsivadze
DBLP: Tsivtsivadze:Evgeni
Contributed to:
2012
2011Wrote 2 papers:
- IJCAR-2012-KuhlweinLTUH #evaluation #overview #scalability
- Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics (DK, TvL, ET, JU, TH), pp. 378–392.
- KDIR-2011-KuhlweinUTGH #automation #multi #ranking #reasoning
- Multi-output Ranking for Automated Reasoning (DK, JU, ET, HG, TH), pp. 42–51.