Een, Niklas

2 publications

NeurIPS 2016 DeepMath - Deep Sequence Models for Premise Selection Geoffrey Irving, Christian Szegedy, Alexander A Alemi, Niklas Een, Francois Chollet, Josef Urban

AAAI 2015 SAT-Based Strategy Extraction in Reachability Games Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk