| ENIGMA: Efficient learning-based inference guiding machine J Jakubův, J Urban Intelligent Computer Mathematics: 10th International Conference, CICM 2017 …, 2017 | 113 | 2017 |
| ENIGMA-NG: Efficient neural and gradient-boosted inference guidance for E K Chvalovský, J Jakubův, M Suda, J Urban Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019 | 84 | 2019 |
| ENIGMA anonymous: Symbol-independent inference guiding machine (system description) J Jakubův, K Chvalovský, M Olšák, B Piotrowski, M Suda, J Urban International Joint Conference on Automated Reasoning, 448-463, 2020 | 71 | 2020 |
| Hammering Mizar by learning clause guidance J Jakubův, J Urban arXiv preprint arXiv:1904.01677, 2019 | 54 | 2019 |
| First neural conjecturing datasets and experiments J Urban, J Jakubův Intelligent Computer Mathematics: 13th International Conference, CICM 2020 …, 2020 | 53 | 2020 |
| Generating multi-agent plans by distributed intersection of finite state machines J Tožička, J Jakubův, A Komenda ECAI 2014, 1111-1112, 2014 | 33 | 2014 |
| BliStrTune: hierarchical invention of theorem proving strategies J Jakubův, J Urban Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017 | 32 | 2017 |
| Enhancing ENIGMA given clause guidance J Jakubův, J Urban Intelligent Computer Mathematics: 11th International Conference, CICM 2018 …, 2018 | 30 | 2018 |
| Privacy-concerned multiagent planning J Tožička, J Jakubův, A Komenda, M Pěchouček Knowledge and Information Systems 48, 581-618, 2016 | 26 | 2016 |
| ENIGMAWatch: proofWatch meets ENIGMA Z Goertzel, J Jakubův, J Urban Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019 | 23 | 2019 |
| The isabelle ENIGMA ZA Goertzel, J Jakubův, C Kaliszyk, M Olšák, J Piepenbrock, J Urban arXiv preprint arXiv:2205.01981, 2022 | 21 | 2022 |
| Hierarchical invention of theorem proving strategies J Jakubův, J Urban AI Communications 31 (3), 237-250, 2018 | 20 | 2018 |
| Extending E prover with similarity based clause selection strategies J Jakubův, J Urban International Conference on Intelligent Computer Mathematics, 151-156, 2016 | 18 | 2016 |
| Validation of an air-traffic controller behavioral model for fast time simulation P Volf, J Jakubu̇v, L Koranda, D S̆is̆́lák, M Pĕchouc̆ek, S Mereu, ... 2014 Integrated Communications, Navigation and Surveillance Conference (ICNS …, 2014 | 18 | 2014 |
| PSM-based planners description for CoDMAP 2015 competition J Tozicka, J Jakubuv, A Komenda Proceedings of the competition of distributed and multi-agent planners …, 2015 | 17 | 2015 |
| ProofWatch: watchlist guidance for large theories in E Z Goertzel, J Jakubův, S Schulz, J Urban Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018 | 16 | 2018 |
| Multiagent Planning Supported by Plan Diversity Metrics and Landmark Actions. J Tozicka, J Jakubuv, K Durkota, A Komenda, M Pechoucek ICAART (1), 178-189, 2014 | 15 | 2014 |
| Fast and slow enigmas and parental guidance ZA Goertzel, K Chvalovský, J Jakubův, M Olšák, J Urban International Symposium on Frontiers of Combining Systems, 173-191, 2021 | 14 | 2021 |
| Multiagent planning by plan set intersection and plan verification J Jakubův, J Tožička, A Komenda International Conference on Agents and Artificial Intelligence 2, 173-182, 2015 | 12 | 2015 |
| Learning theorem proving components K Chvalovský, J Jakubův, M Olšák, J Urban Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 11 | 2021 |
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
