Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

Topic: "neural-proof-net"

kovvalsky/prove_SICK_NL

Prove Ducth NLI problems of SICK-NL with LangPro

Language: Prolog - Size: 68.4 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 3 - Forks: 1

Related Topics
dutch 1 dutch-language 1 natural-language-inference 1 natural-logic 1 nli 1 proof-net 1 tableau-prover 1 textual-entailment 1 theorem-prover 1 theorem-proving 1