Entailment-Preserving First-order Logic Representations in Natural Language Entailment

Entailment-Preserving First-order Logic Representations in Natural Language Entailment

24 February 2025

Julia Hockenmaier

Papers citing "Entailment-Preserving First-order Logic Representations in Natural Language Entailment"

14 / 14 papers shown

Title
Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical Expression Jingyu Peng Maolin Wang Nan Wang Xiangyu Zhao Jiatong Li Kai Zhang Qi Liu 37 0 0 18 May 2025
Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning Hyun Ryu Gyeongman Kim Hyemin S. Lee Eunho Yang LRM 97 7 0 10 Oct 2024
BRIO: Bringing Order to Abstractive Summarization Yixin Liu Pengfei Liu Dragomir R. Radev Graham Neubig 75 285 0 31 Mar 2022
Graph Pre-training for AMR Parsing and Generation Xuefeng Bai Yulong Chen Yue Zhang SSL 62 102 0 15 Mar 2022
Explaining Answers with Entailment Trees Bhavana Dalvi Peter Alexander Jansen Oyvind Tafjord Zhengnan Xie Hannah Smith Leighanna Pipatanangkura Peter Clark ReLM FAtt LRM 280 185 0 17 Apr 2021
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language Oyvind Tafjord Bhavana Dalvi Peter Clark 68 273 0 24 Dec 2020
Learning to Explain: Datasets and Models for Identifying Valid Reasoning Chains in Multihop Question-Answering Harsh Jhamtani Peter Clark LRM 74 71 0 07 Oct 2020
Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer Colin Raffel Noam M. Shazeer Adam Roberts Katherine Lee Sharan Narang Michael Matena Yanqi Zhou Wei Li Peter J. Liu AIMat 390 20,114 0 23 Oct 2019
e-SNLI: Natural Language Inference with Natural Language Explanations Oana-Maria Camburu Tim Rocktaschel Thomas Lukasiewicz Phil Blunsom LRM 406 637 0 04 Dec 2018
Spider: A Large-Scale Human-Labeled Dataset for Complex and Cross-Domain Semantic Parsing and Text-to-SQL Task Tao Yu Rui Zhang Kai-Chou Yang Michihiro Yasunaga Dongxu Wang ... Irene Li Qingning Yao Shanelle Roman Zilin Zhang Dragomir R. Radev RALM 83 1,229 0 24 Sep 2018
Proximal Policy Optimization Algorithms John Schulman Filip Wolski Prafulla Dhariwal Alec Radford Oleg Klimov OffRL 446 19,006 0 20 Jul 2017
Multi-shot ASP solving with clingo Martin Gebser Roland Kaminski B. Kaufmann Torsten Schaub LRM ReLM 48 248 0 27 May 2017
Minimum Risk Training for Neural Machine Translation Shiqi Shen Yong Cheng Zhongjun He W. He Hua Wu Maosong Sun Yang Liu 114 469 0 08 Dec 2015
A large annotated corpus for learning natural language inference Samuel R. Bowman Gabor Angeli Christopher Potts Christopher D. Manning 298 4,280 0 21 Aug 2015