gipplab / FormulaCloudDataLinks
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
Sorting:
- ☆10Updated 4 years ago
- Converter from UD-trees to BART representation☆36Updated last year
- 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
- Implementation for EACL 2021 paper "Scientific Discourse Tagging for Evidence Extraction".☆20Updated 3 years ago
- ☆12Updated 2 years ago
- Factor Graph Grammars in Python☆13Updated 7 months ago
- Official library of images for the SIGIR 2019 Open-Source IR Replicability Challenge (OSIRRC 2019)☆13Updated 6 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Code for generating the JuICe dataset.☆37Updated 3 years ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆18Updated last year
- Code for "Multi-document Summarization with Maximal Marginal Relevance-guided Reinforcement Learning", EMNLP 2020☆11Updated 4 years ago
- ☆15Updated 3 years ago
- Math-aware QA system☆19Updated 2 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- Weakly Supervised Text-to-SQL Parsing through Question Decomposition☆22Updated last year
- Given a pair of sentences (premise, hypothesis), the decomposed graph entailment model (DGEM) predicts whether the premise can be used to…☆52Updated 4 years ago
- Python implementation of unsupervised semantic parsing and markov logic network knowledgebase induction.☆12Updated 6 years ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- a small, non-commercial, fair-use subset of the Penn-Treebank, in JSON.☆15Updated 7 years ago
- This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"☆13Updated 4 years ago
- Author implementation of the paper "Don’t paraphrase, detect! Rapid and Effective Data Collection for Semantic Parsing"☆20Updated 4 years ago
- Multi-XScience: A Large-scale Dataset for Extreme Multi-document Summarization of Scientific Articles☆44Updated last year
- deep learning for math☆30Updated 6 years ago
- Open source machine learning for graph-structured data☆30Updated 6 years ago
- ☆49Updated 7 months ago
- ☆22Updated 3 years ago
- Bayesian Assessment of Hypotheses☆24Updated 2 years ago
- ☆19Updated 5 years ago