EasyChair Smart SlideDocs/Log in
Author: Jan Jakubuv

This page shows all presentations of this author published in EasyChair Smart Slide.

The Isabelle ENIGMA

The Isabelle ENIGMA

Zarathustra Goertzel, Jan Jakubův, Cezary Kaliszyk, Miroslav Olšák, Jelle Piepenbrock and Josef Urban

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

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

Karel Chvalovský, Jan Jakubuv, Martin Suda and Josef Urban

ENIGMA Given Clause Guidance

ENIGMA Given Clause Guidance

Karel Chvalovský, Jan Jakubuv, Martin Suda and Josef Urban

ProofWatch Meets ENIGMA: First Experiments

ProofWatch Meets ENIGMA: First Experiments

Zarathustra Goertzel, Josef Urban and Jan Jakubův

ProofWatch: Watchlist Guidance for Large Theories in E

ProofWatch: Watchlist Guidance for Large Theories in E

Zarathustra Goertzel, Jan Jakubuv, Stephan Schulz and Josef Urban

Presentations in this collection: 5
Copyright © 2002 – 2024 EasyChair