--- title: "Jan Jakubův — author profile and papers — Elamur Research" description: "Jan Jakubův, Czech Technical University in Prague: 4 papers on Elamur Research (2017–2020), h-index 13 — affiliations, topics, co-authors…" canonical: "https://research.elamur.ai/free/en/authors/jan-jakubuv/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/jan-jakubuv/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Jan Jakubův # Jan Jakubův Jan Jakubův has 4 papers in our library, in 2017–2020, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Josef Urban](https://md.research.elamur.ai/free/en/authors/josef-urban/), [Karel Chvalovský](https://md.research.elamur.ai/free/en/authors/karel-chvalovsky/), [Martin Suda](https://md.research.elamur.ai/free/en/authors/martin-suda/). 4 papers in our library · 2017–2020 [OpenAlex](https://openalex.org/A5028662024) · [ORCID](https://orcid.org/0000-0002-8848-5537) · [Wikidata](https://www.wikidata.org/wiki/Q62036746) · [**h-index 13**](https://openalex.org/authors/A5028662024) · [48 works](https://openalex.org/works?filter=author.id:A5028662024) · [385 citations](https://openalex.org/works?filter=author.id:A5028662024&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 4 works in our library](https://md.research.elamur.ai/free/en/authors/jan-jakubuv/#papers) · [🔗 Cited 48 times in our library](https://md.research.elamur.ai/free/en/authors/jan-jakubuv/cited-by/) · [⭐ Paper Stars ranking: #6608](https://md.research.elamur.ai/free/en/paper-stars/page/67/#star-6608) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Jan+Jakub%C5%AFv) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Jan+Jakub%C5%AFv) · [dblp](https://dblp.org/search?q=Jan+Jakub%C5%AFv) · [ACL Anthology](https://aclanthology.org/search/?q=Jan+Jakub%C5%AFv) ## Affiliations [🎓**Czech Technical University in Prague** Prague · Czechia 2012–2026 · 37 papersEmployment 2012–2015Employment since 2015*current*](https://md.research.elamur.ai/free/en/universities/czech-technical-university-in-prague/) · [🎓**Universität Innsbruck** Innsbruck · Austria 2019–2024 · 8 papers](https://md.research.elamur.ai/free/en/universities/universitat-innsbruck/) · [🎓**Heriot-Watt University** Edinburgh · United Kingdom 2007–2010 · 1 paperEducation 2007–2010 · PhD, School of Mathematical and Computer Sciences / ULTRA group](https://md.research.elamur.ai/free/en/universities/heriot-watt-university/) 🏛️**Czech Technical University** Prague · [Czechia](https://md.research.elamur.ai/free/en/countries/czechia/) 2012–2015Employment 2012–2015 · Postdoc, Faculty of Electrical EngineeringEmployment since 2015 · Postdoc, Czech Institute of Informatics, Robotics and Cybernetics 🏛️**Self Employed** Prague · [Czechia](https://md.research.elamur.ai/free/en/countries/czechia/) 2010–2012Employment 2010–2012 · Software Developer [🎓**Charles University** Prague · Czechia 2000–2006Education 2000–2006 · MSc, Faculty of Mathematics and Physics](https://md.research.elamur.ai/free/en/universities/charles-university/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 3 The field of science this work belongs to (OpenAlex fields).[Computer Science · 4 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 4 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 4 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) 🧭 Topics 1 Research subjects and languages the work is about.[Reasoning · 1 work](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2020** 2 papers](https://md.research.elamur.ai/free/en/authors/jan-jakubuv/year/2020/) ### 2010s [**2019** 1 paper](https://md.research.elamur.ai/free/en/authors/jan-jakubuv/year/2019/) · [**2017** 1 paper](https://md.research.elamur.ai/free/en/authors/jan-jakubuv/year/2017/) ## Papers The most cited first (OpenAlex and our library). 1. **[ENIGMA: Efficient Learning-based Inference Guiding Machine](https://md.research.elamur.ai/free/en/papers/jakubuv-2017-enigma-efficient-learning-based-inference/)** *(2017 · 67 citations)* Saturation-based provers such as E must constantly decide which generated clause to process next (given clause selection). 2. **[ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E](https://md.research.elamur.ai/free/en/papers/chvalovsky-2019-enigma-ng-efficient-neural-gradient/)** *(2019 · 61 citations)* The paper tackles given-clause selection in saturation-based first-order provers, specifically E. Choosing which clause to process next largely determines whether a proof is found. ENIGMA previously guided this choice with fast linear classifiers (LIBLINEAR) over handcrafted clause features: vertical, horizontal… 3. **[ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)](https://md.research.elamur.ai/free/en/papers/jakubuv-2020-enigma-anonymous-symbol-independent-inference/)** *(2020 · 42 citations)* Learned guidance for saturation-style provers usually relies on symbol names. Such guidance cannot carry over to problems or libraries that use different names. This system description adds two name-agnostic clause classifiers to the ENIGMA framework of the E prover. Under either classifier, consistently renaming all… 4. **[First Neural Conjecturing Datasets and Experiments](https://md.research.elamur.ai/free/en/papers/urban-2020-first-neural-conjecturing-datasets-experiments/)** *(2020 · 40 citations)* The paper addresses automated conjecture generation in large formal mathematics corpora. This covers proposing helpful intermediate lemmas and exploring a theory freely. Urban and Jakubův build four datasets from the Mizar Mathematical Library (MML). Two are textual: raw Mizar articles and an HTML-derived export… ## Co-authors here 5 co-authors with a page, the most papers together first. - [Josef Urban](https://md.research.elamur.ai/free/en/authors/josef-urban/) ×4 - [Karel Chvalovský](https://md.research.elamur.ai/free/en/authors/karel-chvalovsky/) ×2 - [Martin Suda](https://md.research.elamur.ai/free/en/authors/martin-suda/) ×2 - [Bartosz Piotrowski](https://md.research.elamur.ai/free/en/authors/bartosz-piotrowski/) - [Miroslav Olšák](https://md.research.elamur.ai/free/en/authors/miroslav-olsak/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/) ×4: [Lecture notes in computer science 2020](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2020/) ×2, [Lecture notes in computer science 2019](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2019/), [Lecture notes in computer science 2017](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2017/) ## Cited by Papers of our library cite their works 48 times (of the 149,439 papers whose bibliographies we read); [25 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/jan-jakubuv/cited-by/). Updated 3 November 2026