--- title: "Karel Chvalovský — author profile and papers in our library" description: "Karel Chvalovský, Czech Technical University in Prague: 2 papers on Elamur Research (2019–2020), h-index 8 — affiliations, topics…" canonical: "https://research.elamur.ai/free/en/authors/karel-chvalovsky/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/karel-chvalovsky/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Karel Chvalovský # Karel Chvalovský Karel Chvalovský has 2 papers in our library, in 2019–2020; often with [Jan Jakubův](https://md.research.elamur.ai/free/en/authors/jan-jakubuv/), [Josef Urban](https://md.research.elamur.ai/free/en/authors/josef-urban/), [Martin Suda](https://md.research.elamur.ai/free/en/authors/martin-suda/). 2 papers in our library · 2019–2020 [OpenAlex](https://openalex.org/A5088676437) · [ORCID](https://orcid.org/0000-0002-0541-3889) · [**h-index 8**](https://openalex.org/authors/A5088676437) · [24 works](https://openalex.org/works?filter=author.id:A5088676437) · [187 citations](https://openalex.org/works?filter=author.id:A5088676437&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/karel-chvalovsky/#papers) · [🔗 Cited 19 times in our library](https://md.research.elamur.ai/free/en/authors/karel-chvalovsky/cited-by/) · [⭐ Paper Stars ranking: #8330](https://md.research.elamur.ai/free/en/paper-stars/page/84/#star-8330) 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=Karel+Chvalovsk%C3%BD) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Karel+Chvalovsk%C3%BD) · [dblp](https://dblp.org/search?q=Karel+Chvalovsk%C3%BD) · [ACL Anthology](https://aclanthology.org/search/?q=Karel+Chvalovsk%C3%BD) ## Affiliations [🎓**Czech Technical University in Prague** Prague · Czechia 2019–2026 · 12 papers*current*](https://md.research.elamur.ai/free/en/universities/czech-technical-university-in-prague/) · [🏛️**Czech Academy of Sciences** Prague · Czechia 2011–2018 · 5 papers](https://md.research.elamur.ai/free/en/government/czech-academy-of-sciences/) · [🔬**Czech Academy of Sciences, Institute of Computer Science** Prague · Czechia 2011–2018 · 5 papers](https://ror.org/0496n6574) · [🎓**Charles University** Prague · Czechia 2011–2018 · 2 papers](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 · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) ## Works by year ### 2020s [**2020** 1 paper](https://md.research.elamur.ai/free/en/authors/karel-chvalovsky/year/2020/) ### 2010s [**2019** 1 paper](https://md.research.elamur.ai/free/en/authors/karel-chvalovsky/year/2019/) ## Papers The most cited first (OpenAlex and our library). 1. **[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… 2. **[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… ## Co-authors here 5 co-authors with a page, the most papers together first. - [Jan Jakubův](https://md.research.elamur.ai/free/en/authors/jan-jakubuv/) ×2 - [Josef Urban](https://md.research.elamur.ai/free/en/authors/josef-urban/) ×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/) ×2: [Lecture notes in computer science 2020](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2020/), [Lecture notes in computer science 2019](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2019/) ## Cited by Papers of our library cite their works 19 times (of the 149,439 papers whose bibliographies we read); [9 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/karel-chvalovsky/cited-by/). Updated 3 November 2026