konstantinosKokos

Transformers

A few tranformer models

spindle

A neurosymbolic parser for Dutch.

aethel

Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.

neural-proof-nets

A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.

dynamic-graph-supertagging

Constructive categorial grammar supertagging with (pick any of: [heterogeneous | dynamic | attentive | structure-aware]) graph convolutions.

Lassy-TLG-Supertagging

Supertagging the Type-Logical corpus extracted from LASSY-Klein with the Transformer

unitaryPE

Algebraic Positional Encodings

FCA

Playing around with formal concept analysis

lambda-layer-pytorch

metaclass-cfg

A metaclass-based cfg generator

phai

Philosophy of AI 2018-19

presentations

Presentation slides

neural-agda

wip

AdamW-pytorch

Implementation and experiment for AdamW on pytorch

alpino-docker

Alpino in Docker

ATIS_dataset

The ATIS (Airline Travel Information System) Dataset

directionality-bias

Checking learnability of left vs. right branching structures with unidirectional RNNs

dyck-paper

Euler

Learning Haskell with Project Euler

grape

konstantinosKokos.github.io

lassy2ud

Lassy Small to Universal Dependencies Conversion

msc-thesis

neuralsort

Code for "Stochastic Optimization of Sorting Networks using Continuous Relaxations", ICLR 2019.

personal-webpage

phd-thesis

proofs-as-graphs

sinkhorn

Learning latent set bijections with the sinkhorn net

statrethink-course-numpyro-2019

Statistical Rethinking: A Bayesian Course Using Python and NumPyro

tuxedo-control-center

A tool to help you control performance, energy, fan and comfort settings on TUXEDO laptops.