konstantinosKokos / neural-proof-nets

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

konstantinosKokos/neural-proof-nets Stargazers