Author:Jan Jakubův

Publications
Vibe-Coded and Tuned: A State-of-the-Art SMT Solver for QF-LRA Mikoláš Janota and Jan Jakubův In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery Kristina Aleksandrova, Jan Jakubuv and Cezary Kaliszyk In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
First Experiments with Neural cvc5 Jelle Piepenbrock, Mikolas Janota, Josef Urban and Jan Jakubův In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
ProofWatch Meets ENIGMA: First Experiments Zarathustra Goertzel, Jan Jakubuv and Josef Urban In:LPAR-22 Workshop and Short Paper Proceedings
Automated Invention of Strategies and Term Orderings for Vampire Jan Jakubuv, Martin Suda and Josef Urban In:GCAI 2017. 3rd Global Conference on Artificial Intelligence