Tag: Python

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

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

Codenames

Post author By Nikolas
Post date 2016-10-15

web-based boardgame implementation

Tags boardgame, Bottle, HTML, Python

Green+Red

Post author By Nikolas
Post date 2016-01-21

habit management app

Tags game design, Kivy, Python, self-improvement, SQL

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

Crossword Generator

Post author By Nikolas
Post date 2013-04-14

creates random crosswords

Tags ai, boardgame, collaboration, Python

Altruism in the Centipede Game

Post author By Nikolas
Post date 2013-02-16

alternative model of rationality

Tags ai, game theory, Python, research