🧑🔬 Jan Jakubův — papers of 2020 — 2 papers, the most cited first2 papers · all years of Jan JakubůvENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)Lecture notes in computer scienceJan Jakubův, Karel Chvalovský, Miroslav Olšák, et al.2020 · 42 citationsFirst Neural Conjecturing Datasets and ExperimentsLecture notes in computer scienceJosef Urban, Jan Jakubův2020 · 40 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/jan-jakubuv/year/2020/