GitHub repository: konstantinosKokos/neural-proof-nets
Primary language: Python
Description: A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.