Follow
Jan Jakubuv
Title
Cited by
Cited by
Year
ENIGMA: Efficient learning-based inference guiding machine
J Jakubův, J Urban
Intelligent Computer Mathematics: 10th International Conference, CICM 2017 …, 2017
982017
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
732019
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
622020
First neural conjecturing datasets and experiments
J Urban, J Jakubův
Intelligent Computer Mathematics: 13th International Conference, CICM 2020 …, 2020
442020
Hammering Mizar by learning clause guidance
J Jakubův, J Urban
arXiv preprint arXiv:1904.01677, 2019
442019
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
332014
BliStrTune: hierarchical invention of theorem proving strategies
J Jakubův, J Urban
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
282017
Enhancing ENIGMA given clause guidance
J Jakubův, J Urban
Intelligent Computer Mathematics: 11th International Conference, CICM 2018 …, 2018
262018
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
262016
ENIGMAWatch: proofWatch meets ENIGMA
Z Goertzel, J Jakubův, J Urban
Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019
222019
Hierarchical invention of theorem proving strategies
J Jakubův, J Urban
AI Communications 31 (3), 237-250, 2018
192018
Extending E prover with similarity based clause selection strategies
J Jakubův, J Urban
International Conference on Intelligent Computer Mathematics, 151-156, 2016
172016
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
172015
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
172014
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
152018
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
152014
The isabelle ENIGMA
ZA Goertzel, J Jakubův, C Kaliszyk, M Olšák, J Piepenbrock, J Urban
arXiv preprint arXiv:2205.01981, 2022
132022
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
122015
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
92021
Recursive polynomial reductions for classical planning
J Tozicka, J Jakubuv, M Svatos, A Komenda
Proceedings of the International Conference on Automated Planning and …, 2016
82016
The system can't perform the operation now. Try again later.
Articles 1–20