Jan Jakubuv

Cezary Kaliszyk

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

MizAR 60 for Mizar 50.

[BibT_eX]

[DOI]

Karel Chvalovský

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

2022

Targeted Configuration of an SMT Solver.

[BibT_eX]

[DOI]

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

The Isabelle ENIGMA.

[BibT_eX]

[DOI]

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

2021

Learning Theorem Proving Components.

[BibT_eX]

[DOI]

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

Characteristic Subsets of SMT-LIB Benchmarks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2020

Relaxed Weighted Path Order in Theorem Proving.

[BibT_eX]

[DOI]

Cezary Kaliszyk

Math. Comput. Sci., 2020

First Neural Conjecturing Datasets and Experiments.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2019

Hammering Mizar by Learning Clause Guidance.

[BibT_eX]

[DOI]

CoRR, 2019

ENIGMAWatch: ProofWatch Meets ENIGMA.

[BibT_eX]

[DOI]

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

Hammering Mizar by Learning Clause Guidance (Short Paper).

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 27, 2019

2018

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

[BibT_eX]

[DOI]

Trans. Comput. Collect. Intell., 2018

Hierarchical invention of theorem proving strategies.

[BibT_eX]

[DOI]

AI Commun., 2018

Enhancing ENIGMA Given Clause Guidance.

[BibT_eX]

[DOI]

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

ProofWatch Meets ENIGMA: First Experiments.

[BibT_eX]

[DOI]

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

ProofWatch: Watchlist Guidance for Large Theories in E.

[BibT_eX]

[DOI]

Stephan Schulz

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

Towards a Unified Ordering for Superposition-Based Automated Reasoning.

[BibT_eX]

[DOI]

Cezary Kaliszyk

Proceedings of the Mathematical Software - ICMS 2018, 2018

2017

ENIGMA: Efficient Learning-Based Inference Guiding Machine.

[BibT_eX]

[DOI]

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

Automated Invention of Strategies and Term Orderings for Vampire.

[BibT_eX]

[DOI]

Martin Suda

Proceedings of the GCAI 2017, 2017

BliStrTune: hierarchical invention of theorem proving strategies.

[BibT_eX]

[DOI]

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

2016

Privacy-concerned multiagent planning.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2016

Extending E Prover with Similarity Based Clause Selection Strategies.

[BibT_eX]

[DOI]

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

Recursive Reductions of Internal Dependencies in Multiagent Planning.

[BibT_eX]

[DOI]

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

Recursive Polynomial Reductions for Classical Planning.

[BibT_eX]

[DOI]

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

2015

Extensibility Based Multiagent Planner with Plan Diversity Metrics.

[BibT_eX]

[DOI]

Trans. Comput. Collect. Intell., 2015

Using Process Calculi for Plan Verification in Multiagent Planning.

[BibT_eX]

[DOI]

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

Multiagent Planning by Plan Set Intersection and Plan Verification.

[BibT_eX]

Proceedings of the ICAART 2015, 2015

From Public Plans to Global Solutions in Multiagent Planning.

[BibT_eX]

[DOI]

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

2014

Multiagent Planning Supported by Plan Diversity Metrics and Landmark Actions.

[BibT_eX]

[DOI]

Proceedings of the ICAART 2014, 2014

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

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

PhD thesis, 2010

Expressiveness of Generic Process Shape Types.

[BibT_eX]

[DOI]