Tag: ai

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

Multi-type Display Calculus in Isabelle

Post author By Nikolas
Post date 2016-09-28

calculus embedding

Tags ai, automated theorem proving, Isabelle, research

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

A Few Steps

Post author By Nikolas
Post date 2012-06-30

procedurally generated game

Tags ai, C#, game design, Unity, videogame

Domination Game

Post author By Nikolas
Post date 2012-04-04

mutli-agent system game competition

Tags ai, collaboration, Python, reinforcement learning, videogame

Analysing Boardgames Using Long-Term Strategies

Post author By Nikolas
Post date 2011-07-05

undergraduate thesis

Tags ai, boardgame, genetic algorithm, Java, research

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