ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2203.10261
  4. Cited By
FaiRR: Faithful and Robust Deductive Reasoning over Natural Language

FaiRR: Faithful and Robust Deductive Reasoning over Natural Language

19 March 2022
Soumya Sanyal
Harman Singh
Xiang Ren
    ReLM
    LRM
ArXivPDFHTML

Papers citing "FaiRR: Faithful and Robust Deductive Reasoning over Natural Language"

31 / 31 papers shown
Title
Automated Annotation of Evolving Corpora for Augmenting Longitudinal Network Data: A Framework Integrating Large Language Models and Expert Knowledge
Xiao Liu
Zirui Wu
Jiayi Li
Zhicheng Shao
Xun Pang
Yansong Feng
58
0
0
03 Mar 2025
QUENCH: Measuring the gap between Indic and Non-Indic Contextual General
  Reasoning in LLMs
QUENCH: Measuring the gap between Indic and Non-Indic Contextual General Reasoning in LLMs
Mohammad Aflah Khan
Neemesh Yadav
Sarah Masud
Md. Shad Akhtar
71
0
0
16 Dec 2024
RISCORE: Enhancing In-Context Riddle Solving in Language Models through
  Context-Reconstructed Example Augmentation
RISCORE: Enhancing In-Context Riddle Solving in Language Models through Context-Reconstructed Example Augmentation
Ioannis Panagiotopoulos
Giorgos Filandrianos
Maria Lymperaiou
Giorgos Stamou
LRM
ReLM
33
0
0
24 Sep 2024
Symbolic Working Memory Enhances Language Models for Complex Rule
  Application
Symbolic Working Memory Enhances Language Models for Complex Rule Application
Siyuan Wang
Zhongyu Wei
Yejin Choi
Xiang Ren
LRM
LLMAG
31
9
0
24 Aug 2024
Improving Arithmetic Reasoning Ability of Large Language Models through
  Relation Tuples, Verification and Dynamic Feedback
Improving Arithmetic Reasoning Ability of Large Language Models through Relation Tuples, Verification and Dynamic Feedback
Zhongtao Miao
Kaiyan Zhao
Yoshimasa Tsuruoka
KELM
LRM
36
2
0
25 Jun 2024
Quantifying the Capabilities of LLMs across Scale and Precision
Quantifying the Capabilities of LLMs across Scale and Precision
Sher Badshah
Hassan Sajjad
32
11
0
06 May 2024
A Survey on Deep Learning for Theorem Proving
A Survey on Deep Learning for Theorem Proving
Zhaoyu Li
Jialiang Sun
Logan Murphy
Qidong Su
Zenan Li
Xian Zhang
Kaiyu Yang
Xujie Si
LRM
42
21
0
15 Apr 2024
Towards Generalizable and Faithful Logic Reasoning over Natural Language
  via Resolution Refutation
Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation
Zhouhao Sun
Xiao Ding
LI DU
Bibo Cai
Jin-Fang Gao
Ting Liu
Bing Qin
LRM
ReLM
26
0
0
02 Apr 2024
Comparing Inferential Strategies of Humans and Large Language Models in
  Deductive Reasoning
Comparing Inferential Strategies of Humans and Large Language Models in Deductive Reasoning
Philipp Mondorf
Barbara Plank
LRM
24
9
0
20 Feb 2024
How Interpretable are Reasoning Explanations from Prompting Large
  Language Models?
How Interpretable are Reasoning Explanations from Prompting Large Language Models?
Yeo Wei Jie
Ranjan Satapathy
Rick Mong
Erik Cambria
ReLM
LRM
44
16
0
19 Feb 2024
Enhancing Ethical Explanations of Large Language Models through
  Iterative Symbolic Refinement
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement
Xin Quan
Marco Valentino
Louise A. Dennis
André Freitas
LRM
8
11
0
01 Feb 2024
SEER: Facilitating Structured Reasoning and Explanation via
  Reinforcement Learning
SEER: Facilitating Structured Reasoning and Explanation via Reinforcement Learning
Guoxin Chen
Kexin Tang
Chao Yang
Fuying Ye
Yu Qiao
Yiming Qian
LRM
8
3
0
24 Jan 2024
CLOMO: Counterfactual Logical Modification with Large Language Models
CLOMO: Counterfactual Logical Modification with Large Language Models
Yinya Huang
Ruixin Hong
Hongming Zhang
Wei Shao
Zhicheng YANG
Dong Yu
Changshui Zhang
Xiaodan Liang
Linqi Song
LRM
23
7
0
29 Nov 2023
Are LLMs Rigorous Logical Reasoner? Empowering Natural Language Proof
  Generation with Contrastive Stepwise Decoding
Are LLMs Rigorous Logical Reasoner? Empowering Natural Language Proof Generation with Contrastive Stepwise Decoding
Ying Su
Xiaojin Fu
Mingwen Liu
Zhijiang Guo
LRM
22
3
0
12 Nov 2023
GLoRE: Evaluating Logical Reasoning of Large Language Models
GLoRE: Evaluating Logical Reasoning of Large Language Models
Hanmeng Liu
Zhiyang Teng
Ruoxi Ning
Jian Liu
Qiji Zhou
Yuexin Zhang
Yue Zhang
ReLM
ELM
LRM
60
6
0
13 Oct 2023
Empower Nested Boolean Logic via Self-Supervised Curriculum Learning
Empower Nested Boolean Logic via Self-Supervised Curriculum Learning
Hongqiu Wu
Linfeng Liu
Haizhen Zhao
Min Zhang
LRM
AI4CE
NAI
ELM
35
6
0
09 Oct 2023
Explainable Claim Verification via Knowledge-Grounded Reasoning with
  Large Language Models
Explainable Claim Verification via Knowledge-Grounded Reasoning with Large Language Models
Haoran Wang
Kai Shu
LRM
30
22
0
08 Oct 2023
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic
Terufumi Morishita
Gaku Morio
Atsuki Yamaguchi
Yasuhiro Sogawa
ReLM
LRM
AI4CE
ELM
16
22
0
11 Aug 2023
RECKONING: Reasoning through Dynamic Knowledge Encoding
RECKONING: Reasoning through Dynamic Knowledge Encoding
Zeming Chen
Gail Weiss
E. Mitchell
Asli Celikyilmaz
Antoine Bosselut
KELM
LRM
16
11
0
10 May 2023
Faithful Question Answering with Monte-Carlo Planning
Faithful Question Answering with Monte-Carlo Planning
Ruixin Hong
Hongming Zhang
Honghui Zhao
Dong Yu
Changshui Zhang
ReLM
LRM
52
19
0
04 May 2023
Explainable Verbal Reasoner Plus (EVR+): A Natural Language Reasoning
  Framework that Supports Diverse Compositional Reasoning
Explainable Verbal Reasoner Plus (EVR+): A Natural Language Reasoning Framework that Supports Diverse Compositional Reasoning
Zhengzhong Liang
Zeyu Zhang
Steven Bethard
Mihai Surdeanu
ReLM
LRM
18
1
0
28 Apr 2023
Natural Language Reasoning, A Survey
Natural Language Reasoning, A Survey
Fei Yu
Hongbo Zhang
Prayag Tiwari
Benyou Wang
ReLM
LRM
28
49
0
26 Mar 2023
Logical Reasoning over Natural Language as Knowledge Representation: A
  Survey
Logical Reasoning over Natural Language as Knowledge Representation: A Survey
Zonglin Yang
Xinya Du
Rui Mao
Jinjie Ni
Erik Cambria
LRM
ReLM
21
24
0
21 Mar 2023
Empirical Investigation of Neural Symbolic Reasoning Strategies
Empirical Investigation of Neural Symbolic Reasoning Strategies
Yoichi Aoki
Keito Kudo
Tatsuki Kuribayashi
Ana Brassard
Masashi Yoshikawa
Keisuke Sakaguchi
Kentaro Inui
8
2
0
16 Feb 2023
Iterated Decomposition: Improving Science Q&A by Supervising Reasoning
  Processes
Iterated Decomposition: Improving Science Q&A by Supervising Reasoning Processes
Justin Reppert
Ben Rachbach
Charlie George
Luke Stebbing
Ju-Seung Byun
Maggie Appleton
Andreas Stuhlmuller
ReLM
LRM
31
16
0
04 Jan 2023
APOLLO: A Simple Approach for Adaptive Pretraining of Language Models
  for Logical Reasoning
APOLLO: A Simple Approach for Adaptive Pretraining of Language Models for Logical Reasoning
Soumya Sanyal
Yichong Xu
Shuohang Wang
Ziyi Yang
Reid Pryzant
W. Yu
Chenguang Zhu
Xiang Ren
ReLM
LRM
13
8
0
19 Dec 2022
RLET: A Reinforcement Learning Based Approach for Explainable QA with
  Entailment Trees
RLET: A Reinforcement Learning Based Approach for Explainable QA with Entailment Trees
Tengxiao Liu
Qipeng Guo
Xiangkun Hu
Yue Zhang
Xipeng Qiu
Zheng-Wei Zhang
LRM
25
14
0
31 Oct 2022
Can Pretrained Language Models (Yet) Reason Deductively?
Can Pretrained Language Models (Yet) Reason Deductively?
Moy Yuan
Songbo Hu
Ivan Vulić
Anna Korhonen
Zaiqiao Meng
ReLM
ELM
LRM
20
8
0
12 Oct 2022
RobustLR: Evaluating Robustness to Logical Perturbation in Deductive
  Reasoning
RobustLR: Evaluating Robustness to Logical Perturbation in Deductive Reasoning
Soumya Sanyal
Zeyi Liao
Xiang Ren
ELM
ReLM
LRM
59
19
0
25 May 2022
Generating Natural Language Proofs with Verifier-Guided Search
Generating Natural Language Proofs with Verifier-Guided Search
Kaiyu Yang
Jia Deng
Danqi Chen
LRM
14
68
0
25 May 2022
Learning Symbolic Rules for Reasoning in Quasi-Natural Language
Learning Symbolic Rules for Reasoning in Quasi-Natural Language
Kaiyu Yang
Jia Deng
NAI
ReLM
LRM
16
13
0
23 Nov 2021
1