Data and code for Natural Language Inference with Multiple Premises
☆13May 15, 2019Updated 6 years ago
Alternatives and similar repositories for MultiPremiseEntailment
Users that are interested in MultiPremiseEntailment are comparing it to the libraries listed below
Sorting:
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Jun 18, 2020Updated 5 years ago
- Cornell INFO 3350: Text mining for history and literature, Fall 2020☆10Jan 14, 2021Updated 5 years ago
- Format conversion and graphical representation of [Universal Dependencies](http://universaldependencies.org) trees.☆12Sep 3, 2024Updated last year
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- Diffusing States and Matching Scores: A New Framework for Imitation Learning☆22Nov 16, 2024Updated last year
- Probe how GPT-n performs on statutory reasoning☆10Sep 17, 2024Updated last year
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- ☆13Mar 2, 2025Updated last year
- BAD: BiAs Detection for Large Language Models in the context of candidate screening (EECS 692)☆12Feb 14, 2024Updated 2 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- ☆12Jan 7, 2020Updated 6 years ago
- ☆12Aug 14, 2019Updated 6 years ago
- This is the code of our work CISS Certified Robustness Against Natural Language Attacks by Causal Intervention published on ICML 2022☆11Dec 6, 2022Updated 3 years ago
- ☆13Jul 8, 2020Updated 5 years ago
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 5 years ago
- [ICML 2022] Robust Deep Reinforcement Learning through Bootstrapped Opportunistic Curriculum☆11Jul 15, 2022Updated 3 years ago
- [NAACL 2021] Reading and Acting while Blindfolded: The Need for Semantics in Text Game Agents☆11May 31, 2021Updated 4 years ago
- INDICT: Code Generation with Internal Dialogues of Critiques for Both Security and Helpfulness☆14Nov 10, 2025Updated 3 months ago
- [EMNLP 2020] Data and PyTorch code of ConjNLI: Natural Language Inference over Conjunctive Sentences☆11Oct 23, 2020Updated 5 years ago
- ☆11Feb 12, 2024Updated 2 years ago
- ☆11Apr 13, 2023Updated 2 years ago
- The respository describing a novel datasets for word association explanations☆13Sep 21, 2023Updated 2 years ago
- a repository containing the details of natural language inference dataset in Hindi☆14Dec 28, 2020Updated 5 years ago
- Code for Dissecting Generation Modes for Abstractive Summarization Models via Ablation and Attribution (ACL2021)☆13Jun 2, 2021Updated 4 years ago
- This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"☆13Mar 23, 2021Updated 4 years ago
- AllenNLP integration for Shiba: Japanese CANINE model☆12Jun 26, 2021Updated 4 years ago
- Benchmarks for the VNN Comp 2023☆16Jun 7, 2024Updated last year
- From Accuracy to Robustness: A Study of Rule- and Model-based Verifiers in Mathematical Reasoning.☆25Oct 7, 2025Updated 4 months ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆20Feb 25, 2023Updated 3 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Jul 18, 2022Updated 3 years ago
- Data and code for the paper Causal Reasoning of Entities and Events in Procedural Texts.☆12May 26, 2023Updated 2 years ago
- Uncertain natural language inference☆15Jun 12, 2023Updated 2 years ago
- Implementation of the first neural natural logic paper on natural language inference☆11Oct 31, 2022Updated 3 years ago
- ☆57Nov 17, 2021Updated 4 years ago
- Cross-library augmentation toolbox supporting 300 operators over 8 libraries + AI transforms☆12Jan 11, 2022Updated 4 years ago
- Python library for Adversarial ML Evaluation☆25Jul 14, 2025Updated 7 months ago
- FaiRR: Faithful and Robust Deductive Reasoning over Natural Language (ACL 2022)☆14May 19, 2022Updated 3 years ago
- ☆15Oct 10, 2021Updated 4 years ago