Get started
Author

Karel Chvalovský

Observed names: Chvalovský, Karel, KAREL CHVALOVSKÝ
ORCID: 0000-0002-0541-3889
Observed ORCID: 0000-0002-0541-3889
OpenAlex ID: A5088676437
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E
2019 · Karel Chvalovský, Jan Jakubův, et al. · Lecture notes in computer science · 54
PDF
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)
2020 · Jan Jakubův, Karel Chvalovský, et al. · Lecture notes in computer science · 37
Note on Deduction Theorems in contraction‐free logics
2012 · Karel Chvalovský, Petr Cintula · Mathematical logic quarterly · 27
Full Lambek Calculus With Contraction Is Undecidable
2016 · KAREL CHVALOVSKÝ, ROSTISLAV HORČÍK · Journal of Symbolic Logic · 14
Top-Down Neural Model For Formulae.
2018 · Karel Chvalovský · International Conference on Learning Representations · 12
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus
2015 · KAREL CHVALOVSKÝ · Journal of Symbolic Logic · 12
On the independence of axioms in BL and MTL
2011 · Karel Chvalovský · Fuzzy Sets and Systems · 11
PDF
Regularization in Spider-Style Strategy Discovery and Schedule Construction
2024 · Filip Bártek, Karel Chvalovský, et al. · Lecture notes in computer science · 8
Guiding an Instantiation Prover with Graph Neural Networks
2023 · Karel Chvalovský, Konstantin Korovin, et al. · EPiC series in computing · 8
PDF
Fast and Slow Enigmas and Parental Guidance
2021 · Zarathustra A. Goertzel, Karel Chvalovský, et al. · Lecture notes in computer science · 7
PDF
Learning Theorem Proving Components
2021 · Karel Chvalovský, Jan Jakubův, et al. · Lecture notes in computer science · 5
PDF
MizAR 60 for Mizar 50
2023 · Jakubův, Jan, Chvalovský, Karel, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 3
PDF
Teaching Vampire New Tricks: An Experimental Study of Neural Clause Selection
2026 · Chvalovský, Karel, Suda, Martin, et al. · arXiv (Cornell University)
PDF
Understanding Reward Shaping in Planning: A Theoretical and Empirical Analysis
2026 · Oleksii Shuhailo, Mohsen Ghaffari, et al. · Proceedings of the International Symposium on Combinatorial Search
PDF
Revisiting Incremental Linearization for Nonlinear Integer Arithmetic
2026 · Dančo, Marek, Chvalovský, Karel, et al. · arXiv (Cornell University)
PDF
SMT and Functional Equation Solving over the Reals: Challenges from the IMO
2025 · Chad E. Brown, Karel Chvalovský, et al. · Lecture notes in computer science
Towards Learning Infinite SMT Models (Work in Progress)
2023 · Mikoláš Janota, Bartosz Piotrowski, et al. · International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
PDF
MizAR 60 for Mizar 50
2023 · Jakubův, Jan, Chvalovský, Karel, et al. · arXiv (Cornell University)
PDF
Note on Deduction Theorems in Contraction-Free Logics
2018 · Karel Chvalovský, Petr Cintula · EPiC series in computing
PDF
Undecidability of Some Substructural Logics
2015 · Chvalovský, Karel · Digital Repository (National Repository of Grey Literature)
Volume of Abstracts Logic, Algebra and Truth Degrees 2010
2010 · Karel Chvalovský, Petr Cintula, et al.
Explicit fixed-points in provability logic
2007 · Chvalovský, Karel · Digital Repository (National Repository of Grey Literature)
Works count: 24
Citation count: 198
H-index: 8
I10-index: 7
Year
Topic
Type