🧑🔬 Sarah M. Loos — papers of 2017 — 1 paper, the most cited first1 paper · all years of Sarah M. LoosDeep Network Guided Proof SearcharXiv:1701.06972 (In Thomas Eiter and David Sands, editors, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21). EPiC Series in Computing, vol. 46, pages 85-105, EasyChair, 2017. ISSN 2398-7340)Sarah Loos, Geoffrey Irving, Christian Szegedy, et al.2017 · 139 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/sarah-m-loos/year/2017/