Karel Chvalovsk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2010–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CADE | SMT and Functional Equation Solving over the Reals: Challenges from the IMO. | Chad E. Brown, Karel Chvalovsk, Mikols Janota, Mirek Olsk, Stefan Ratschan |
| 2024 | IJCAR | Regularization in Spider-Style Strategy Discovery and Schedule Construction. | Filip Brtek, Karel Chvalovsk, Martin Suda |
| 2023 | ITP | MizAR 60 for Mizar 50. | Jan Jakubuv, Karel Chvalovsk, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsk, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban |
| 2023 | LPAR | Guiding an Instantiation Prover with Graph Neural Networks. | Karel Chvalovsk, Konstantin Korovin, Jelle Piepenbrock, Josef Urban |
| 2023 | SYNASC | Towards Learning Infinite SMT Models (Work in Progress). | Mikols Janota, Bartosz Piotrowski, Karel Chvalovsk |
| 2021 | TABLEAUX | Learning Theorem Proving Components. | Karel Chvalovsk, Jan Jakubuv, Miroslav Olsk, Josef Urban |
| 2020 | CADE | ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description). | Jan Jakubuv, Karel Chvalovsk, Miroslav Olsk, Bartosz Piotrowski, Martin Suda, Josef Urban |
| 2019 | CADE | ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E. | Karel Chvalovsk, Jan Jakubuv, Martin Suda, Josef Urban |
| 2019 | ICLR | Top-Down Neural Model For Formulae. | Karel Chvalovsk |
| 2010 | LPAR | Note on Deduction Theorems in Contraction-Free Logics. | Karel Chvalovsk, Petr Cintula |