Picture for Martin Suda

Martin Suda

Regularization in Spider-Style Strategy Discovery and Schedule Construction

Add code
Mar 19, 2024
Viaarxiv icon

Learning Guided Automated Reasoning: A Brief Survey

Add code
Mar 06, 2024
Viaarxiv icon

Learning Planning Action Models from State Traces

Add code
Feb 16, 2024
Viaarxiv icon

MizAR 60 for Mizar 50

Add code
Mar 12, 2023
Viaarxiv icon

New Techniques that Improve ENIGMA-style Clause Selection Guidance

Add code
Feb 26, 2021
Figure 1 for New Techniques that Improve ENIGMA-style Clause Selection Guidance
Figure 2 for New Techniques that Improve ENIGMA-style Clause Selection Guidance
Figure 3 for New Techniques that Improve ENIGMA-style Clause Selection Guidance
Figure 4 for New Techniques that Improve ENIGMA-style Clause Selection Guidance
Viaarxiv icon

Vampire With a Brain Is a Good ITP Hammer

Add code
Feb 06, 2021
Figure 1 for Vampire With a Brain Is a Good ITP Hammer
Figure 2 for Vampire With a Brain Is a Good ITP Hammer
Viaarxiv icon

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)

Add code
Feb 13, 2020
Figure 1 for ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)
Figure 2 for ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)
Figure 3 for ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)
Figure 4 for ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)
Viaarxiv icon

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

Add code
Mar 07, 2019
Figure 1 for ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E
Figure 2 for ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E
Figure 3 for ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E
Viaarxiv icon

Selecting the Selection

Add code
Apr 27, 2016
Figure 1 for Selecting the Selection
Figure 2 for Selecting the Selection
Figure 3 for Selecting the Selection
Figure 4 for Selecting the Selection
Viaarxiv icon

Duality in STRIPS planning

Add code
Apr 03, 2013
Figure 1 for Duality in STRIPS planning
Figure 2 for Duality in STRIPS planning
Figure 3 for Duality in STRIPS planning
Figure 4 for Duality in STRIPS planning
Viaarxiv icon