Nikolas

data scientist & developer

Skills

Academic research & writing

Proof assistants

Achievements

Deep Learning Proof Search for Lambek Calculus

master thesis

2020-08-272020-10-04

Deep Learning for Theorem Generation and Premise Selection

WaveNet-made theorem dataset

2017-10-262020-10-07

Let 4 Def

Dota 2 custom game

2017-08-182020-10-04

Green+Red

habit management app

2016-01-212020-10-04

Analysing Boardgames Using Long-Term Strategies

undergraduate thesis

2011-07-052020-10-04