🧑🔬 Josef Urban — papers of 2016 — 2 papers, the most cited first2 papers · all years of Josef UrbanDeepMath - Deep Sequence Models for Premise SelectionarXiv:1606.04442Alex A. Alemi, Francois Chollet, Niklas Een, et al.2016 · 178 citationsHammering towards QEDJournal of Formalized Reasoning 9(1)Jasmin Christian Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, et al.2016 · 127 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/josef-urban/year/2016/