EasyChair Smart SlideUser guide
Author: Josef Urban

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

A Mathematical Benchmark for Inductive Theorem Provers

A Mathematical Benchmark for Inductive Theorem Provers

Thibault Gauthier, Chad Brown, Mikoláš Janota and Josef Urban

The Isabelle ENIGMA

The Isabelle ENIGMA

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

GRUNGE: A Grand Unified ATP Challenge

GRUNGE: A Grand Unified ATP Challenge

Chad Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe 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

ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback

ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback

Bartosz Piotrowski and Josef Urban

Presentations in this collection: 8
Copyright © 2002 – 2026 EasyChair