Author:Jan Jakubuv

Publications
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