Elamur Research⌕
☰
home / authors / Karel Chvalovský

Karel Chvalovský

Karel Chvalovský has 2 papers in our library, in 2019–2020; often with Jan Jakubův, Josef Urban, Martin Suda.

2 papers in our library · 2019–2020

OpenAlex · ORCID · h-index 8 · 24 works · 187 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 19 times in our library · ⭐ Paper Stars ranking: #8330

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🎓Czech Technical University in PraguePrague · Czechia2019–2026 · 12 paperscurrent🏛️Czech Academy of SciencesPrague · Czechia2011–2018 · 5 papers🔬Czech Academy of Sciences, Institute of Computer SciencePrague · Czechia2011–2018 · 5 papers🎓Charles UniversityPrague · Czechia2011–2018 · 2 papers

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 3The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 2 works

 Works by year

2020s

20201 paper

2010s

20191 paper

 Papers

The most cited first (OpenAlex and our library).

  1. ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E (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) (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.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 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 →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/karel-chvalovsky/