ND-CSE-30151 / tockLinks
Theory Of Computing toolKit
☆18Updated 8 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
- ☆60Updated 7 years ago
- Discontinuous Data-Oriented Parsing☆46Updated last year
- Probabilistic Logic Semantics☆16Updated 8 years ago
- ☆17Updated 4 years ago
- Codebase for Global Neural CCG Parsing with Optimality Guarantees☆25Updated 8 years ago
- End-to-End Differentiable Proving☆90Updated 6 years ago
- Factor Graph Grammars in Python☆13Updated 11 months ago
- DMV/CCM implementation☆17Updated 9 years ago
- A LaTeX Class for Informatics theses at The University of Edinburgh☆34Updated 2 years ago
- Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG☆27Updated 2 years ago
- NYU ML² work on sentence encoding with tree structure and dynamic graphs☆108Updated 6 years ago
- Entailment rules extracted from RTE datasets using a modified Robinson Resolution algorithm☆12Updated 10 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- ☆111Updated 7 years ago
- Alternating Directions Dual Decomposition☆69Updated 5 years ago
- ☆37Updated 9 years ago
- An interactive tool for analyzing, executing, and improving dynamic programming algorithms.☆15Updated last year
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Updated 8 years ago
- Lanugage of Thought (LOT) models in Python.☆33Updated 5 years ago
- ☆50Updated 8 years ago
- ☆130Updated 2 years ago
- Unsupervised Grammar Induction with Combinatory Categorial Grammars☆10Updated 4 years ago
- A framework to convert Universal Dependencies to Logical Forms☆91Updated 4 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
- Cornell Semantic Parsing Framework☆132Updated 5 years ago
- ☆22Updated 7 years ago
- A reference implementation of algorithms for distributions over spanning trees.☆21Updated 5 years ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆18Updated last year
- Stores paper references, outputs to bib/html, does basic sanity checking on bib entries☆40Updated 4 months ago