EasyChair Smart Slide
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E