Digital Vote Assistant

reddit bot for democratic decision-making

Deep Learning Proof Search for Lambek Calculus

master thesis


time travel app

Deep Learning for Theorem Generation and Premise Selection

WaveNet-made theorem dataset

Dear Future

reddit-based public reminder system


web-based boardgame implementation


habit management app

Dota Drafting Forecasting

predict match outcome from draft

Crossword Generator

creates random crosswords

Altruism in the Centipede Game

alternative model of rationality