Author: Nikolas

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

The Secret Lives of Couriers

Post author By Nikolas
Post date 2019-11-09

Dota 2 custom game

Tags game design, Javascript, Lua, mod, Source Engine, videogame

Spanbook

Post author By Nikolas
Post date 2018-02-10

time travel app

Tags boardgame, Bottle, HTML, Javascript, Python, role-playing, SQL

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

Let 4 Def

Post author By Nikolas
Post date 2017-08-18

Dota 2 custom game

Tags game design, Javascript, Lua, mod, Source Engine, videogame

The Awakening

Post author By Nikolas
Post date 2017-07-02

investigation scenario

Tags boardgame, game design, role-playing