Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2306.03872
Cited By
v1
v2
v3 (latest)
Deductive Verification of Chain-of-Thought Reasoning
Neural Information Processing Systems (NeurIPS), 2023
6 June 2023
Z. Ling
Yunhao Fang
Xuanlin Li
Zhiao Huang
Mingu Lee
Roland Memisevic
Hao Su
ReLM
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
HuggingFace (6 upvotes)
Github (133★)
Papers citing
"Deductive Verification of Chain-of-Thought Reasoning"
15 / 115 papers shown
GPT-4 Doesn't Know It's Wrong: An Analysis of Iterative Prompting for Reasoning Problems
Kaya Stechly
Matthew Marquez
Subbarao Kambhampati
LRM
419
109
0
19 Oct 2023
BioPlanner: Automatic Evaluation of LLMs on Protocol Planning in Biology
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2023
Odhran O'Donoghue
Aleksandar Shtedritski
John Ginger
Ralph Abboud
Ali E. Ghareeb
Justin Booth
Samuel G. Rodriques
296
29
0
16 Oct 2023
A Comprehensive Evaluation of Tool-Assisted Generation Strategies
Alon Jacovi
Avi Caciularu
Jonathan Herzig
Roee Aharoni
Bernd Bohnet
Mor Geva
ELM
308
11
0
16 Oct 2023
SELF: Self-Evolution with Language Feedback
Jianqiao Lu
Wanjun Zhong
Wenyong Huang
Yufei Wang
Qi Zhu
...
Weichao Wang
Xingshan Zeng
Lifeng Shang
Xin Jiang
Qun Liu
LRM
SyDa
531
11
0
01 Oct 2023
Navigate through Enigmatic Labyrinth A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future
Annual Meeting of the Association for Computational Linguistics (ACL), 2023
Zheng Chu
Jingchang Chen
Qianglong Chen
Weijiang Yu
Tao He
Haotian Wang
Weihua Peng
Ming-Yuan Liu
Bing Qin
Ting Liu
LRM
AI4CE
496
222
0
27 Sep 2023
Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
International Conference on Language Resources and Evaluation (LREC), 2023
Xufeng Zhao
Mengdi Li
Wenhao Lu
C. Weber
Jae Hee Lee
Kun-Mo Chu
S. Wermter
LRM
AI4CE
ReLM
302
59
0
23 Sep 2023
Chain-of-Verification Reduces Hallucination in Large Language Models
Annual Meeting of the Association for Computational Linguistics (ACL), 2023
Shehzaad Dhuliawala
M. Komeili
Jing Xu
Roberta Raileanu
Xian Li
Asli Celikyilmaz
Jason Weston
LRM
HILM
340
332
0
20 Sep 2023
SCREWS: A Modular Framework for Reasoning with Revisions
K. Shridhar
Harsh Jhamtani
Hao Fang
Benjamin Van Durme
Jason Eisner
Patrick Xia
KELM
LRM
184
18
0
20 Sep 2023
Generative AI vs. AGI: The Cognitive Strengths and Weaknesses of Modern LLMs
Ben Goertzel
236
20
0
19 Sep 2023
Large Language Models for Software Engineering: A Systematic Literature Review
ACM Transactions on Software Engineering and Methodology (TOSEM), 2023
Xinying Hou
Yanjie Zhao
Yue Liu
Zhou Yang
Kailong Wang
Li Li
Xiapu Luo
David Lo
John C. Grundy
Haoyu Wang
358
756
0
21 Aug 2023
Forward-Backward Reasoning in Large Language Models for Mathematical Verification
Annual Meeting of the Association for Computational Linguistics (ACL), 2023
Weisen Jiang
Han Shi
L. Yu
Zheng Liu
Yu Zhang
Zhenguo Li
James T. Kwok
LRM
483
45
0
15 Aug 2023
SelfCheck: Using LLMs to Zero-Shot Check Their Own Step-by-Step Reasoning
International Conference on Learning Representations (ICLR), 2023
Ning Miao
Yee Whye Teh
Tom Rainforth
ReLM
LRM
394
177
0
01 Aug 2023
Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
Paul Tarau
LRM
136
1
0
24 Jun 2023
PaD: Program-aided Distillation Can Teach Small Models Reasoning Better than Chain-of-thought Fine-tuning
North American Chapter of the Association for Computational Linguistics (NAACL), 2023
Xuekai Zhu
Biqing Qi
Kaiyan Zhang
Xingwei Long
Zhouhan Lin
Bowen Zhou
ALM
LRM
317
27
0
23 May 2023
ReCEval: Evaluating Reasoning Chains via Correctness and Informativeness
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2023
Archiki Prasad
Swarnadeep Saha
Xiang Zhou
Joey Tianyi Zhou
LRM
298
68
0
21 Apr 2023
Previous
1
2
3
