EasyChair Smart SlideHelp/Log in
Author: Jan Jakubuv

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

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: 4
Copyright © 2002 – 2022 EasyChair