Machine Learning Meets The Herbrand Universe. - Piepenbrock, Jelle; Urban, Josef; Korovin, Konstantin; Olsák, Miroslav; Heskes, Tom; Janota, Mikolas (CoRR, 2022)