Jan Jakubuv
Title
Cited by
Cited by
Year
ENIGMA: efficient learning-based inference guiding machine
J Jakubův, J Urban
International Conference on Intelligent Computer Mathematics, 292-302, 2017
532017
ENIGMA-NG: efficient neural and gradient-boosted inference guidance for E
K Chvalovský, J Jakubův, M Suda, J Urban
International Conference on Automated Deduction, 197-215, 2019
362019
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
292014
Privacy-concerned multiagent planning
J Tožička, J Jakubův, A Komenda, M Pěchouček
Knowledge and Information Systems 48 (3), 581-618, 2016
202016
Hammering Mizar by learning clause guidance
J Jakubův, J Urban
arXiv preprint arXiv:1904.01677, 2019
192019
BliStrTune: hierarchical invention of theorem proving strategies
J Jakubův, J Urban
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
172017
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
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
142014
Enhancing ENIGMA given clause guidance
J Jakubův, J Urban
International Conference on Intelligent Computer Mathematics, 118-124, 2018
132018
Extending E prover with similarity based clause selection strategies
J Jakubův, J Urban
International Conference on Intelligent Computer Mathematics, 151-156, 2016
112016
Multiagent Planning by Plan Set Intersection and Plan Verification.
J Jakubuv, J Tozicka, A Komenda
ICAART (2), 173-182, 2015
112015
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
112015
First neural conjecturing datasets and experiments
J Urban, J Jakubův
International Conference on Intelligent Computer Mathematics, 315-323, 2020
102020
ProofWatch: Watchlist guidance for large theories in E
Z Goertzel, J Jakubův, S Schulz, J Urban
International Conference on Interactive Theorem Proving, 270-288, 2018
102018
Hierarchical invention of theorem proving strategies
J Jakubův, J Urban
AI Communications 31 (3), 237-250, 2018
102018
ENIGMAWatch: proofWatch meets ENIGMA
Z Goertzel, J Jakubův, J Urban
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
82019
On internally dependent public actions in multiagent planning
J Tozicka, J Jakubuv, A Komenda
Distributed and multi-agent planning (DMAP-15) 18, 2015
72015
Expressiveness of generic process shape types
J Jakubův, JB Wells
International Symposium on Trustworthy Global Computing, 103-119, 2010
72010
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
62020
ProofWatch meets ENIGMA: first experiments
Z Goertzel, J Jakubuv, J Urban
LPAR-22 Workshop and Short Paper Proceedings 9, 15-22, 2018
52018
The system can't perform the operation now. Try again later.
Articles 1–20