data scientist & developer
Skills
Achievements
Deep Learning Proof Search for Lambek Calculus
master thesis
Deep Learning for Theorem Generation and Premise Selection
WaveNet-made theorem dataset
Let 4 Def
Dota 2 custom game
Dear Future
reddit-based public reminder system
Green+Red
habit management app
Analysing Boardgames Using Long-Term Strategies
undergraduate thesis