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:
- ☆14Updated last year
- ☆19Updated 4 years ago
- Codebase for Global Neural CCG Parsing with Optimality Guarantees☆25Updated 8 years ago
- ☆61Updated 8 years ago
- ☆131Updated 2 years ago
- DMV/CCM implementation☆17Updated 9 years ago
- NYU ML² work on sentence encoding with tree structure and dynamic graphs☆108Updated 7 years ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆19Updated last year
- A LaTeX Class for Informatics theses at The University of Edinburgh☆34Updated 2 years ago
- End-to-End Differentiable Proving☆90Updated 7 years ago
- Probabilistic Logic Semantics☆16Updated 8 years ago
- Alternating Directions Dual Decomposition☆69Updated 5 years ago
- Alto, the Algebraic Language Toolkit☆18Updated last year
- Unsupervised Grammar Induction with Combinatory Categorial Grammars☆10Updated 4 years ago
- ☆12Updated 7 years ago
- ☆38Updated 9 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated 2 years ago
- Discontinuous Data-Oriented Parsing☆46Updated 2 years ago
- Cornell Semantic Parsing Framework☆132Updated 5 years ago
- 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
- A reference implementation of algorithms for distributions over spanning trees.☆21Updated 5 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Updated 9 years ago
- ☆17Updated 4 years ago
- A framework to convert Universal Dependencies to Logical Forms☆91Updated 5 years ago
- ☆111Updated 7 years ago
- A quick Python 3 port of the FAdo Project☆14Updated 7 years ago
- Tensor product decomposition network☆20Updated 4 years ago
- Python implementation of projection losses.☆27Updated 6 years ago
- ☆22Updated 4 years ago
- ☆22Updated 7 years ago