Picture for Karel Chvalovský

Karel Chvalovský

Regularization in Spider-Style Strategy Discovery and Schedule Construction

Add code
Mar 19, 2024
Viaarxiv icon

MizAR 60 for Mizar 50

Add code
Mar 12, 2023
Viaarxiv icon

Learning Theorem Proving Components

Add code
Jul 21, 2021
Figure 1 for Learning Theorem Proving Components
Figure 2 for Learning Theorem Proving Components
Figure 3 for Learning Theorem Proving Components
Figure 4 for Learning Theorem Proving Components
Viaarxiv icon

Fast and Slow Enigmas and Parental Guidance

Add code
Jul 14, 2021
Figure 1 for Fast and Slow Enigmas and Parental Guidance
Figure 2 for Fast and Slow Enigmas and Parental Guidance
Figure 3 for Fast and Slow Enigmas and Parental Guidance
Figure 4 for Fast and Slow Enigmas and Parental Guidance
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