This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for parsing the dataset in python.
☆70Apr 16, 2018Updated 8 years ago
Alternatives and similar repositories for logical-entailment-dataset
Users that are interested in logical-entailment-dataset are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cairo lua bindings with extensions for torch☆15Jun 12, 2016Updated 10 years ago
- Datasets used to train Spatial Language Integrating Model (SLIM) in the ‘Encoding Spatial Relations from Natural Language’ paper.☆36Jul 4, 2018Updated 8 years ago
- Unsupervised Data Generated for GeoQuery and SAIL Datasets☆47Nov 5, 2016Updated 9 years ago
- Generating Annotation Spreadsheet for QA-SRL Scheme☆12Feb 14, 2017Updated 9 years ago
- Author implementation of the paper "Decoupling Structure and Lexicon for Zero-Shot Semantic Parsing"☆18Nov 2, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Scripts to help with Torch package documentation☆20Jan 3, 2017Updated 9 years ago
- This repository contains the code used for Ordered Memory paper☆29Jan 12, 2020Updated 6 years ago
- Data and all☆14Sep 30, 2019Updated 7 years ago
- ☆121Aug 6, 2018Updated 8 years ago
- Code for "Systematic Generalization: What Is Required and Can It Be Learned"☆37Apr 2, 2019Updated 7 years ago
- Simple language-driven navigation tasks for studying compositional learning☆205Nov 5, 2020Updated 5 years ago
- A vision network trained via large-scale multi-task self-supervised learning☆65Nov 13, 2017Updated 8 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆105May 3, 2024Updated 2 years ago
- We are trying to define a framework for NLP tasks that easily maps any kind of word embedding data set with any kind of text data set. Th…☆17Sep 11, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This repo contains the analysis results reported in the paper "Grammar Induction with Neural Language Models: An Unusual Replication"☆49Sep 28, 2018Updated 8 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- This repo is for residual-connected sentence encoder for NLI.☆11Jan 21, 2018Updated 8 years ago
- Code for ACL 2018 paper 'Think Visually: Question Answering through Virtual Imagery'☆13Mar 24, 2023Updated 3 years ago
- AxQM — a proof-synthesis benchmark for quantum computing and quantum information, from Nielsen & Chuang, in Lean 4☆13Sep 3, 2026Updated last month
- A Large-Scale Dataset for Paraphrased Reading Comprehension☆15Jul 16, 2023Updated 3 years ago
- Hybrid Approaches to Detect Comments Violating Macro Norms on Reddit☆27Jul 18, 2019Updated 7 years ago
- This repository contains the NarrativeQA dataset. It includes the list of documents with Wikipedia summaries, links to full stories, and …☆521Apr 15, 2020Updated 6 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Code for the paper "Inoculation by Fine-Tuning: A Method for Analyzing Challenge Datasets", to be presented at NAACL 2019.☆21Apr 4, 2019Updated 7 years ago
- A Lua package to detect reading of undeclared variables and creating of global variables.☆26Apr 28, 2015Updated 11 years ago
- SemEval-2018 Task 12: The Argument Reasoning Comprehension Task☆31Feb 22, 2018Updated 8 years ago
- SparseMAP: differentiable sparse structure inference☆114Feb 10, 2019Updated 7 years ago
- ☆21Nov 10, 2019Updated 6 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆51Apr 24, 2026Updated 6 months ago
- Cornell NLVR and NLVR2 are natural language grounding datasets. Each example shows a visual input and a sentence describing it, and is an…☆271Aug 18, 2022Updated 4 years ago
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated 2 years ago
- ☆16Sep 20, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Notes on Deep Reinforcement Learning for Natural Language Processing papers☆30Jul 17, 2017Updated 9 years ago
- Implementation of the first neural natural logic paper on natural language inference☆10Oct 31, 2022Updated 4 years ago
- ☆12Mar 30, 2021Updated 5 years ago
- A Layered Memory Network for MovieQA☆16Apr 27, 2018Updated 8 years ago
- Sake (Japanese Rice Wine) dataset / 日本酒データセット. 銘柄ごとにアルコール度数・精米歩合・日本酒度等を数値化した整形済みデータ☆10Feb 25, 2021Updated 5 years ago
- ☆14Apr 8, 2021Updated 5 years ago
- NYU ML² work on sentence encoding with tree structure and dynamic graphs☆108Dec 3, 2018Updated 7 years ago