ND-CSE-30151 / tockLinks
Theory Of Computing toolKit
☆18Updated 9 months ago
Alternatives and similar repositories for tock
Users that are interested in tock are comparing it to the libraries listed below
Sorting:
- ☆61Updated 8 years ago
- ☆14Updated last year
- Codebase for Global Neural CCG Parsing with Optimality Guarantees☆25Updated 8 years ago
- ☆17Updated 4 years ago
- Discontinuous Data-Oriented Parsing☆46Updated last year
- Probabilistic Logic Semantics☆16Updated 8 years ago
- ☆111Updated 7 years ago
- Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG☆27Updated last week
- DMV/CCM implementation☆17Updated 9 years ago
- End-to-End Differentiable Proving☆90Updated 7 years ago
- A framework to convert Universal Dependencies to Logical Forms☆91Updated 5 years ago
- Cornell Semantic Parsing Framework☆132Updated 5 years ago
- ☆19Updated 4 years ago
- A reference implementation of algorithms for distributions over spanning trees.☆21Updated 5 years ago
- A* CCG Parser with a Supertag and Dependency Factored Model☆98Updated 2 years ago
- ☆38Updated 9 years ago
- Stores paper references, outputs to bib/html, does basic sanity checking on bib entries☆40Updated 5 months ago
- A list of resources dedicated to compositionality☆14Updated 6 years ago
- A LaTeX Class for Informatics theses at The University of Edinburgh☆34Updated 2 years ago
- Entailment rules extracted from RTE datasets using a modified Robinson Resolution algorithm☆12Updated 10 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 5 years ago
- EVEVALB is a python version of Evalb which is used to score the bracket tree banks.☆16Updated 6 years ago
- ☆131Updated 2 years ago
- NYU ML² work on sentence encoding with tree structure and dynamic graphs☆108Updated 7 years ago
- Alto, the Algebraic Language Toolkit☆18Updated last year
- This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…☆70Updated 7 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Updated 9 years ago
- Python libraries for DELPH-IN☆85Updated 5 months ago
- ☆50Updated 8 years ago