Jan Jakubuv

According to our database, Jan Jakubuv authored at least 41 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Solving Hard Mizar Problems with Instantiation and Strategy Invention.

Jan Jakubuv, Mikolás Janota, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

First Experiments with Neural cvc5.

Jelle Piepenbrock, Mikolas Janota, Josef Urban, Jan Jakubuv

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery.

Kristina Aleksandrova, Jan Jakubuv, Cezary Kaliszyk

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Machine Learning for Quantifier Selection in cvc5.

Jan Jakubuv, Mikolás Janota, Jelle Piepenbrock, Josef Urban

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Learning Guided Automated Reasoning: A Brief Survey.

Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

2023

Selecting Quantifiers for Instantiation in SMT.

Jan Jakubuv, Mikolás Janota, Bartosz Piotrowski, Jelle Piepenbrock, Andrew Reynolds

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

VizAR: Visualization of Automated Reasoning Proofs (System Description).

Jan Jakubuv, Cezary Kaliszyk

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

MizAR 60 for Mizar 50.

Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Targeted Configuration of an SMT Solver.

Jan Hula, Jan Jakubuv, Mikolás Janota, Lukás Kubej

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

The Isabelle ENIGMA.

Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsák, Jelle Piepenbrock, Josef Urban

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

Learning Theorem Proving Components.

Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Characteristic Subsets of SMT-LIB Benchmarks.

Jan Jakubuv, Mikolás Janota, Andrew Reynolds

Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), 2021

Fast and Slow Enigmas and Parental Guidance.

Zarathustra Amadeus Goertzel, Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020

Relaxed Weighted Path Order in Theorem Proving.

Jan Jakubuv, Cezary Kaliszyk

Math. Comput. Sci., 2020

First Neural Conjecturing Datasets and Experiments.

Josef Urban, Jan Jakubuv

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description).

Jan Jakubuv, Karel Chvalovský, Miroslav Olsák, Bartosz Piotrowski, Martin Suda, Josef Urban

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Hammering Mizar by Learning Clause Guidance.

Jan Jakubuv, Josef Urban

CoRR, 2019

ENIGMAWatch: ProofWatch Meets ENIGMA.

Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Hammering Mizar by Learning Clause Guidance (Short Paper).

Jan Jakubuv, Josef Urban

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E.

Karel Chvalovský, Jan Jakubuv, Martin Suda, Josef Urban

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Recursive Reductions of Action Dependencies for Coordination-Based Multiagent Planning.

Jan Tozicka, Jan Jakubuv, Antonín Komenda

Trans. Comput. Collect. Intell., 2018

Hierarchical invention of theorem proving strategies.

Jan Jakubuv, Josef Urban

AI Commun., 2018

Enhancing ENIGMA Given Clause Guidance.

Jan Jakubuv, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

ProofWatch Meets ENIGMA: First Experiments.

Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban

Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018

ProofWatch: Watchlist Guidance for Large Theories in E.

Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Towards a Unified Ordering for Superposition-Based Automated Reasoning.

Jan Jakubuv, Cezary Kaliszyk

Proceedings of the Mathematical Software - ICMS 2018, 2018

2017

ENIGMA: Efficient Learning-Based Inference Guiding Machine.

Jan Jakubuv, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Automated Invention of Strategies and Term Orderings for Vampire.

Jan Jakubuv, Martin Suda, Josef Urban

Proceedings of the GCAI 2017, 2017

BliStrTune: hierarchical invention of theorem proving strategies.

Jan Jakubuv, Josef Urban

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016

Privacy-concerned multiagent planning.

Jan Tozicka, Jan Jakubuv, Antonín Komenda, Michal Pechoucek

Knowl. Inf. Syst., 2016

Extending E Prover with Similarity Based Clause Selection Strategies.

Jan Jakubuv, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Recursive Reductions of Internal Dependencies in Multiagent Planning.

Jan Tozicka, Jan Jakubuv, Antonín Komenda

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Recursive Polynomial Reductions for Classical Planning.

Jan Tozicka, Jan Jakubuv, Martin Svatos, Antonín Komenda

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015

Extensibility Based Multiagent Planner with Plan Diversity Metrics.

Jan Tozicka, Jan Jakubuv, Karel Durkota, Antonín Komenda

Trans. Comput. Collect. Intell., 2015

Using Process Calculi for Plan Verification in Multiagent Planning.

Jan Jakubuv, Jan Tozicka, Antonín Komenda

Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

Multiagent Planning by Plan Set Intersection and Plan Verification.

Jan Jakubuv, Jan Tozicka, Antonín Komenda

Proceedings of the ICAART 2015, 2015

From Public Plans to Global Solutions in Multiagent Planning.

Jan Tozicka, Jan Jakubuv, Antonín Komenda

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2015

2014

Multiagent Planning Supported by Plan Diversity Metrics and Landmark Actions.

Jan Tozicka, Jan Jakubuv, Karel Durkota, Antonín Komenda, Michal Pechoucek

Proceedings of the ICAART 2014, 2014

Generating Multi-Agent Plans by Distributed Intersection of Finite State Machines.

Jan Tozicka, Jan Jakubuv, Antonín Komenda

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2010

Generic process shape types and the Poly* system

Jan Jakubuv

PhD thesis, 2010

Expressiveness of Generic Process Shape Types.

Jan Jakubuv, J. B. Wells

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010