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

Altruism in the Centipede Game

alternative model of rationality

Analysing Boardgames Using Long-Term Strategies

undergraduate thesis

Run Music Jump

music-based level generation