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
Sorting:
- ☆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
- Converter from UD-trees to BART representation☆36Updated last year
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- ☆12Updated 3 years ago
- This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"☆13Updated 4 years ago
- Official library of images for the SIGIR 2019 Open-Source IR Replicability Challenge (OSIRRC 2019)☆13Updated 5 years ago
- Sketch Driven Regular Expression Generation.☆16Updated 2 years ago
- Code for generating the JuICe dataset.☆37Updated 3 years ago
- Implementation of the first neural natural logic paper on natural language inference☆11Updated 2 years ago
- [SemEval'19] Code for "HLT@SUDA at SemEval 2019 Task 1: UCCA Graph Parsing as Constituent Tree Parsing"☆18Updated 4 years ago
- Multilingual Compositional Wikidata Questions (MCWQ)☆18Updated last year
- 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
- Implementation for EACL 2021 paper "Scientific Discourse Tagging for Evidence Extraction".☆20Updated 3 years ago
- Unifew: Unified Fewshot Learning Model☆18Updated 3 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Updated 4 years ago
- [Work in progress] A reading list for machine commonsense reasoning☆35Updated 5 years ago
- Python implementation of unsupervised semantic parsing and markov logic network knowledgebase induction.☆12Updated 6 years ago
- TextGraphs-13 Shared Task on Multi-Hop Inference Explanation Regeneration☆43Updated 5 years ago
- Weakly Supervised Text-to-SQL Parsing through Question Decomposition☆22Updated last year
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Updated last year
- This released code is for our ACL2018 paper "End-Task Oriented Textual Entailment via Deep Explorations of Inter-Sentence Interactions". …☆15Updated 6 years ago
- Repository containing the website for the EMNLP 2023 conference☆16Updated 3 months ago
- The implementation for the paper `Byte-Pair Encoding for Text-to-SQL Generation`.☆14Updated 5 years ago
- ☆37Updated 9 years ago
- ☆13Updated 2 years ago
- ☆14Updated 5 years ago
- Code for our ACL '20 paper "Representation Engineering with Natural Language Explanations"☆29Updated 4 years ago
- ☆21Updated 3 years ago