konstantinosKokos / spindle Star 9 Code Issues Pull requests 🕸️ An end-to-end neurosymbolic parser for Dutch. parser parsing lambda-calculus dutch nlp-parsing nlp-machine-learning linear-logic proof-net neurosymbolic supertagging Updated Mar 28, 2024 Python
konstantinosKokos / aethel Star 4 Code Issues Pull requests A packaging of tools for expressing dependency graphs as typed derivations of a categorial grammar. lambda-calculus corpus dutch natural-deduction categorial-grammar linear-logic alpino lassy proof-net type-logical-grammar Updated Nov 24, 2023 Python
konstantinosKokos / neural-proof-nets Star 3 Code Issues Pull requests A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets. parser lambda-calculus dutch prover linear-logic sinkhorn proof-net type-logical-grammar Updated Dec 29, 2022 Python