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

Karel Chvalovsk, Jan Jakubuv, Martin Suda, Josef Urban

Browse the full CADE paper archive.