ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description).

Jan Jakubuv, Karel Chvalovsk, Miroslav Olsk, Bartosz Piotrowski, Martin Suda, Josef Urban

Browse the full CADE paper archive.