This page shows all presentations of this author published in EasyChair Smart Slide.
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E
Karel Chvalovský, Jan Jakubuv, Martin Suda and Josef Urban
ENIGMA Given Clause Guidance
ProofWatch Meets ENIGMA: First Experiments
Zarathustra Goertzel, Josef Urban and Jan Jakubův
ProofWatch: Watchlist Guidance for Large Theories in E
Zarathustra Goertzel, Jan Jakubuv, Stephan Schulz and Josef Urban