Jan Jakubuv
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
9
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IJCAI | Automated Strategy Invention for Confluence of Term Rewrite Systems. | Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk |
| 2024 | ECAI | Machine Learning for Quantifier Selection in cvc5. | Jan Jakubuv, Mikols Janota, Jelle Piepenbrock, Josef Urban |
| 2024 | LPAR | Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery. | Kristina Aleksandrova, Jan Jakubuv, Cezary Kaliszyk |
| 2024 | LPAR | First Experiments with Neural cvc5. | Jelle Piepenbrock, Mikolas Janota, Josef Urban, Jan Jakubuv |
| 2023 | ITP | MizAR 60 for Mizar 50. | Jan Jakubuv, Karel Chvalovsk, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsk, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban |
| 2022 | ITP | The Isabelle ENIGMA. | Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsk, Jelle Piepenbrock, Josef Urban |
| 2021 | TABLEAUX | Learning Theorem Proving Components. | Karel Chvalovsk, Jan Jakubuv, Miroslav Olsk, Josef Urban |
| 2020 | CADE | ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description). | Jan Jakubuv, Karel Chvalovsk, Miroslav Olsk, Bartosz Piotrowski, Martin Suda, Josef Urban |
| 2019 | CADE | ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E. | Karel Chvalovsk, Jan Jakubuv, Martin Suda, Josef Urban |
| 2019 | ITP | Hammering Mizar by Learning Clause Guidance (Short Paper). | Jan Jakubuv, Josef Urban |
| 2019 | TABLEAUX | ENIGMAWatch: ProofWatch Meets ENIGMA. | Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban |
| 2018 | ITP | ProofWatch: Watchlist Guidance for Large Theories in E. | Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban |
| 2018 | LPAR | ProofWatch Meets ENIGMA: First Experiments. | Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban |
| 2017 | CPP | BliStrTune: hierarchical invention of theorem proving strategies. | Jan Jakubuv, Josef Urban |
| 2016 | ICAART | Recursive Reductions of Internal Dependencies in Multiagent Planning. | Jan Tozicka, Jan Jakubuv, Antonn Komenda |
| 2015 | EUMAS | From Public Plans to Global Solutions in Multiagent Planning. | Jan Tozicka, Jan Jakubuv, Antonn Komenda |
| 2015 | ICAART | Multiagent Planning by Plan Set Intersection and Plan Verification. | Jan Jakubuv, Jan Tozicka, Antonn Komenda |
| 2015 | ICAART | Using Process Calculi for Plan Verification in Multiagent Planning. | Jan Jakubuv, Jan Tozicka, Antonn Komenda |
| 2014 | ECAI | Generating Multi-Agent Plans by Distributed Intersection of Finite State Machines. | Jan Tozicka, Jan Jakubuv, Antonn Komenda |
| 2014 | ICAART | Multiagent Planning Supported by Plan Diversity Metrics and Landmark Actions. | Jan Tozicka, Jan Jakubuv, Karel Durkota, Antonn Komenda, Michal Pechoucek |