Picture for Jan Jakubův

Jan Jakubův

Czech Technical University in Prague

Machine Learning for Quantifier Selection in cvc5

Add code
Aug 26, 2024
Viaarxiv icon

Solving Hard Mizar Problems with Instantiation and Strategy Invention

Add code
Jun 25, 2024
Viaarxiv icon

Learning Guided Automated Reasoning: A Brief Survey

Add code
Mar 06, 2024
Viaarxiv icon

MizAR 60 for Mizar 50

Add code
Mar 12, 2023
Viaarxiv icon

The Isabelle ENIGMA

Add code
May 04, 2022
Figure 1 for The Isabelle ENIGMA
Figure 2 for The Isabelle ENIGMA
Figure 3 for The Isabelle ENIGMA
Figure 4 for The Isabelle ENIGMA
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

First Neural Conjecturing Datasets and Experiments

Add code
May 29, 2020
Figure 1 for First Neural Conjecturing Datasets and Experiments
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

ENIGMAWatch: ProofWatch Meets ENIGMA

Add code
May 23, 2019
Figure 1 for ENIGMAWatch: ProofWatch Meets ENIGMA
Figure 2 for ENIGMAWatch: ProofWatch Meets ENIGMA
Figure 3 for ENIGMAWatch: ProofWatch Meets ENIGMA
Figure 4 for ENIGMAWatch: ProofWatch Meets ENIGMA
Viaarxiv icon