Collaborated with:
J.Jakubuv M.S.0001 J.Urban
Talks about:
gradient (1) guidanc (1) neural (1) enigma (1) effici (1) infer (1) boost (1)
Person: Karel Chvalovský
DBLP: Chvalovsk=yacute=:Karel
Contributed to:
Wrote 1 papers:
- CADE-2019-ChvalovskyJ0U #named #performance
- ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E (KC, JJ, MS0, JU), pp. 197–215.