Deep Learning Proof Search for Lambek Calculus Post author By Nikolas Post date 2020-08-27 master thesis Tags ai, automated theorem proving, deep learning, Docker, HOL Light, machine learning, OCaml, Python, research
Deep Learning for Theorem Generation and Premise Selection Post author By Nikolas Post date 2017-10-26 WaveNet-made theorem dataset Tags ai, automated theorem proving, deep learning, Isabelle, machine learning, Python, research, TensorFlow, WaveNet
Dota Drafting Forecasting Post author By Nikolas Post date 2014-06-11 predict match outcome from draft Tags ai, machine learning, Python, research, Scikit-learn, SQL, Steam Web API, videogame
Run Music Jump Post author By Nikolas Post date 2011-02-11 music-based level generation Tags ai, game design, Java, JGame, machine learning, research, videogame