Daniel Khlwein
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2010–2013
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CADE | E-MaLeS 1.1. | Daniel Khlwein, Stephan Schulz, Josef Urban |
| 2013 | ITP | MaSh: Machine Learning for Sledgehammer. | Daniel Khlwein, Jasmin Christian Blanchette, Cezary Kaliszyk, Josef Urban |
| 2012 | CADE | Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics. | Daniel Khlwein, Twan van Laarhoven, Evgeni Tsivtsivadze, Josef Urban, Tom Heskes |
| 2012 | CADE | Learning from Multiple Proofs: First Experiments. | Daniel Khlwein, Josef Urban |
| 2012 | LPAR | Automated and Human Proofs in General Mathematics: An Initial Comparison. | Jesse Alama, Daniel Khlwein, Josef Urban |
| 2011 | IC3K | Multi-output Ranking for Automated Reasoning. | Daniel Khlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes |
| 2010 | CADE | Premise Selection in the Naproche System. | Marcos Cramer, Peter Koepke, Daniel Khlwein, Bernhard Schrder |