gipplab / FormulaCloudData
Discovering Mathematical Objects of Interest - A Study of Mathematical Notations
☆10Updated 4 years ago
Alternatives and similar repositories for FormulaCloudData:
Users that are interested in FormulaCloudData are comparing it to the libraries listed below
- ☆10Updated 4 years ago
- 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
- Official library of images for the SIGIR 2019 Open-Source IR Replicability Challenge (OSIRRC 2019)☆13Updated 5 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- Code for generating the JuICe dataset.☆36Updated 3 years ago
- Converter from UD-trees to BART representation☆36Updated 11 months ago
- ☆14Updated 5 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆18Updated 11 months ago
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆19Updated 2 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Updated 4 years ago
- Inducing Taxonomic Knowledge from Pretrained Transformers☆12Updated last year
- Code for "Multi-document Summarization with Maximal Marginal Relevance-guided Reinforcement Learning", EMNLP 2020☆10Updated 3 years ago
- ☆14Updated 2 years ago
- ☆37Updated 8 years ago
- Python implementation of unsupervised semantic parsing and markov logic network knowledgebase induction.☆12Updated 6 years ago
- ☆12Updated 2 years ago
- Unifew: Unified Fewshot Learning Model☆18Updated 3 years ago
- Implementation for EACL 2021 paper "Scientific Discourse Tagging for Evidence Extraction".☆20Updated 3 years ago
- Code used to create the Linked WikiText-2 dataset☆17Updated last year
- This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"☆13Updated 3 years ago
- GitHub Repository complementing the EMNLP 2018 paper Adaptive Document Retrieval for Deep Question Answering☆15Updated 6 years ago
- ☆13Updated 9 years ago
- ☆15Updated 2 years ago
- Sketch Driven Regular Expression Generation.☆16Updated last year
- A Test Collection of Computer Science Papers for Faceted Query by Example☆21Updated 3 years ago
- Knowledge graph based information retrieval☆13Updated 6 years ago
- Tools for working with the TREC CAR dataset.☆35Updated 2 years ago
- Weakly Supervised Text-to-SQL Parsing through Question Decomposition☆22Updated last year
- ☆17Updated last year