konstantinoskokos Goto Github PK

adamw-pytorch

Implementation and experiment for AdamW on pytorch

aethel

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

alpino-docker

Alpino in Docker

atis_dataset

The ATIS (Airline Travel Information System) Dataset

cra

Commonsense Reasoning and Argumentation 2018

directionality-bias

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

dyck-paper

dynamic-graph-supertagging

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

ee227c.github.io

EE227C (Spring 2018) Course page

euler

Learning Haskell with Project Euler

fca

Playing around with formal concept analysis

grape

konstantinoskokos.github.io

lambda-layer-pytorch

lassy-tlg-supertagging

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

lassy2ud

Lassy Small to Universal Dependencies Conversion

loco

Logic and Computation 2018

metaclass-cfg

A metaclass-based cfg generator

msc-thesis

neural-agda

wip

neural-proof-nets

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

neuralsort

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

personal-webpage

phai

Philosophy of AI 2018-19

phd-thesis

presentations

Presentation slides

proofs-as-graphs

siamese-paraphrase-keras

A siamese network architecture for paraphrase detection.

sinkhorn

Learning latent set bijections with the sinkhorn net

spindle

A neurosymbolic parser for Dutch.