Karel Chvalovský

According to our database, Karel Chvalovský authored at least 12 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Regularization in Spider-Style Strategy Discovery and Schedule Construction.

Filip Bártek, Karel Chvalovský, Martin Suda

CoRR, 2024

2023

Guiding an Instantiation Prover with Graph Neural Networks.

Karel Chvalovský, Konstantin Korovin, Jelle Piepenbrock, Josef Urban

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

MizAR 60 for Mizar 50.

Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2021

Learning Theorem Proving Components.

Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Fast and Slow Enigmas and Parental Guidance.

Zarathustra Amadeus Goertzel, Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description).

Jan Jakubuv, Karel Chvalovský, Miroslav Olsák, Bartosz Piotrowski, Martin Suda, Josef Urban

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Top-Down Neural Model For Formulae.

Karel Chvalovský

Proceedings of the 7th International Conference on Learning Representations, 2019

ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E.

Karel Chvalovský, Jan Jakubuv, Martin Suda, Josef Urban

Proceedings of the Automated Deduction - CADE 27, 2019

2016

Full Lambek Calculus with Contraction is Undecidable.

Karel Chvalovský, Rostislav Horcík

J. Symb. Log., 2016

2015

Undecidability of Consequence Relation in Full non-Associative Lambek Calculus.

Karel Chvalovský

J. Symb. Log., 2015

2012

Note on Deduction Theorems in contraction-free logics.

Karel Chvalovský, Petr Cintula

Math. Log. Q., 2012

On the independence of axioms in BL and MTL.

Karel Chvalovský

Fuzzy Sets Syst., 2012