ND-CSE-30151 / tockLinks
Theory Of Computing toolKit
☆18Updated 4 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
- A reference implementation of algorithms for distributions over spanning trees.☆21Updated 5 years ago
- ☆59Updated 7 years ago
- Codebase for Global Neural CCG Parsing with Optimality Guarantees☆25Updated 8 years ago
- ☆129Updated last year
- DMV/CCM implementation☆17Updated 9 years ago
- Lanugage of Thought (LOT) models in Python.☆33Updated 5 years ago
- Discontinuous Data-Oriented Parsing☆46Updated last year
- ☆109Updated 6 years ago
- End-to-End Differentiable Proving☆89Updated 6 years ago
- SparseMAP: differentiable sparse structure inference☆112Updated 6 years ago
- ☆17Updated 4 years ago
- ☆18Updated 3 years ago
- Alternating Directions Dual Decomposition☆69Updated 5 years ago
- Unsupervised Grammar Induction with Combinatory Categorial Grammars☆10Updated 4 years ago
- This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…☆69Updated 7 years ago
- ☆22Updated 7 years ago
- A quick Python 3 port of the FAdo Project☆14Updated 7 years ago
- ☆50Updated 8 years ago
- Annotated bibliographies.☆40Updated 5 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- Code related to "Explaining and Generalizing Skip-Gram through Exponential Family Principal Component Analysis" (EACL 2017)☆11Updated 7 years ago
- ☆19Updated 4 years ago
- A generic Monte Carlo method based on the Gumbel-Max trick.☆32Updated 9 years ago
- X (weighted / probabilistic) Context-Free Grammars☆25Updated last year
- NYU ML² work on sentence encoding with tree structure and dynamic graphs☆108Updated 6 years ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆18Updated last year
- Entailment rules extracted from RTE datasets using a modified Robinson Resolution algorithm☆12Updated 10 years ago
- Probabilistic Logic Semantics☆16Updated 8 years ago
- Python implementation of projection losses.☆27Updated 5 years ago