ProofWatch: Watchlist Guidance for Large Theories in E

12 February 2018

Papers citing "ProofWatch: Watchlist Guidance for Large Theories in E"

2 / 2 papers shown

Title
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E Karel Chvalovský Jan Jakubuv Martin Suda Josef Urban 14 64 0 07 Mar 2019
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 58 133 0 10 Oct 2013