gipplab / FormulaCloudData
Discovering Mathematical Objects of Interest - A Study of Mathematical Notations
☆10Updated 5 years ago
Alternatives and similar repositories for FormulaCloudData:
Users that are interested in FormulaCloudData are comparing it to the libraries listed below
- A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…☆31Updated last year
- ☆10Updated 4 years ago
- Converter from UD-trees to BART representation☆36Updated last year
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- Code for generating the JuICe dataset.☆36Updated 3 years ago
- Inducing Taxonomic Knowledge from Pretrained Transformers☆12Updated last year
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆33Updated 5 years ago
- Bayesian Assessment of Hypotheses☆24Updated last year
- Code for "Multi-document Summarization with Maximal Marginal Relevance-guided Reinforcement Learning", EMNLP 2020☆10Updated 3 years ago
- ☆37Updated 9 years ago
- A Python implementation of a graph-based parser for Abstract Meaning Representation (AMR)☆11Updated 7 years ago
- On-the-fly Table Generation - SIGIR'18☆10Updated 5 years ago
- [SemEval'19] Code for "HLT@SUDA at SemEval 2019 Task 1: UCCA Graph Parsing as Constituent Tree Parsing"☆18Updated 4 years ago
- Official library of images for the SIGIR 2019 Open-Source IR Replicability Challenge (OSIRRC 2019)☆13Updated 5 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Variable-order CRFs with structure learning☆15Updated 7 months ago
- Knowledge graph based information retrieval☆13Updated 6 years ago
- ☆14Updated 5 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Updated 4 years ago
- TextGraphs-13 Shared Task on Multi-Hop Inference Explanation Regeneration☆44Updated 5 years ago
- [Work in progress] A reading list for machine commonsense reasoning☆35Updated 4 years ago
- Code for hyperboloid embeddings for knowledge graph entities☆37Updated 2 years ago
- This released code is for our ACL2018 paper "End-Task Oriented Textual Entailment via Deep Explorations of Inter-Sentence Interactions". …☆15Updated 6 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- Author implementation of the paper "Don’t paraphrase, detect! Rapid and Effective Data Collection for Semantic Parsing"☆20Updated 4 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆11Updated 4 years ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆18Updated last year
- ☆15Updated 2 years ago
- ☆57Updated 5 years ago