Deep Learning Proof Search for Lambek Calculus

master thesis

Deep Learning for Theorem Generation and Premise Selection

WaveNet-made theorem dataset

Multi-type Display Calculus in Isabelle

calculus embedding

Dota Drafting Forecasting

predict match outcome from draft

Crossword Generator

creates random crosswords

Altruism in the Centipede Game

alternative model of rationality

A Few Steps

procedurally generated game

Domination Game

mutli-agent system game competition

Analysing Boardgames Using Long-Term Strategies

undergraduate thesis

Run Music Jump

music-based level generation