Jan Jakubuv
Název
Citace
Citace
Rok
ENIGMA: efficient learning-based inference guiding machine
J Jakubův, J Urban
International Conference on Intelligent Computer Mathematics, 292-302, 2017
582017
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
402019
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
Hammering Mizar by learning clause guidance
J Jakubův, J Urban
arXiv preprint arXiv:1904.01677, 2019
222019
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
BliStrTune: hierarchical invention of theorem proving strategies
J Jakubův, J Urban
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
182017
Enhancing ENIGMA given clause guidance
J Jakubův, J Urban
International Conference on Intelligent Computer Mathematics, 118-124, 2018
162018
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
152014
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
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
142020
Hierarchical invention of theorem proving strategies
J Jakubův, J Urban
AI Communications 31 (3), 237-250, 2018
122018
Extending E prover with similarity based clause selection strategies
J Jakubův, J Urban
International Conference on Intelligent Computer Mathematics, 151-156, 2016
122016
First neural conjecturing datasets and experiments
J Urban, J Jakubův
International Conference on Intelligent Computer Mathematics, 315-323, 2020
112020
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
112018
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
ENIGMAWatch: proofWatch meets ENIGMA
Z Goertzel, J Jakubův, J Urban
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
92019
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
ProofWatch meets ENIGMA: first experiments
Z Goertzel, J Jakubuv, J Urban
LPAR-22 Workshop and Short Paper Proceedings 9, 15-22, 2018
52018
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20