Jan Jakubuv

According to our database1, Jan Jakubuv authored at least 26 papers between 2010 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Relaxed Weighted Path Order in Theorem Proving.
Math. Comput. Sci., 2020

First Neural Conjecturing Datasets and Experiments.
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description).
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019
Hammering Mizar by Learning Clause Guidance.
CoRR, 2019

ENIGMAWatch: ProofWatch Meets ENIGMA.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Hammering Mizar by Learning Clause Guidance (Short Paper).
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E.
Proceedings of the Automated Deduction - CADE 27, 2019

2018
Recursive Reductions of Action Dependencies for Coordination-Based Multiagent Planning.
Trans. Comput. Collect. Intell., 2018

Hierarchical invention of theorem proving strategies.
AI Commun., 2018

Enhancing ENIGMA Given Clause Guidance.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

ProofWatch: Watchlist Guidance for Large Theories in E.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Towards a Unified Ordering for Superposition-Based Automated Reasoning.
Proceedings of the Mathematical Software - ICMS 2018, 2018

2017
ENIGMA: Efficient Learning-Based Inference Guiding Machine.
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Automated Invention of Strategies and Term Orderings for Vampire.
Proceedings of the GCAI 2017, 2017

BliStrTune: hierarchical invention of theorem proving strategies.
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016
Privacy-concerned multiagent planning.
Knowl. Inf. Syst., 2016

Extending E Prover with Similarity Based Clause Selection Strategies.
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Recursive Reductions of Internal Dependencies in Multiagent Planning.
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Recursive Polynomial Reductions for Classical Planning.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015
Extensibility Based Multiagent Planner with Plan Diversity Metrics.
Trans. Comput. Collect. Intell., 2015

Using Process Calculi for Plan Verification in Multiagent Planning.
Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

Multiagent Planning by Plan Set Intersection and Plan Verification.
Proceedings of the ICAART 2015, 2015

From Public Plans to Global Solutions in Multiagent Planning.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2015

2014
Multiagent Planning Supported by Plan Diversity Metrics and Landmark Actions.
Proceedings of the ICAART 2014, 2014

Generating Multi-Agent Plans by Distributed Intersection of Finite State Machines.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2010
Expressiveness of Generic Process Shape Types.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010


  Loading...