Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2410.08047
Cited By
v1
v2 (latest)
Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
International Conference on Learning Representations (ICLR), 2024
10 October 2024
Hyun Ryu
Gyeongman Kim
Hyemin S. Lee
Eunho Yang
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Github (27★)
Papers citing
"Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning"
35 / 35 papers shown
Adaptive Selection of Symbolic Languages for Improving LLM Logical Reasoning
Xiangyu Wang
Haocheng Yang
Fengxiang Cheng
Fenrong Liu
LRM
155
1
0
12 Oct 2025
Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
Lei Xu
Pierre Beckmann
Marco Valentino
André Freitas
LRM
AI4CE
170
2
0
08 Oct 2025
MuSLR: Multimodal Symbolic Logical Reasoning
Jundong Xu
Hao Fei
Yuhui Zhang
Liangming Pan
Qijun Huang
...
Preslav Nakov
Min-Yen Kan
William Y. Wang
Mong-Li Lee
Wynne Hsu
ReLM
LRM
187
0
0
30 Sep 2025
From Ambiguity to Verdict: A Semiotic-Grounded Multi-Perspective Agent for LLM Logical Reasoning
Yunyao Zhang
Xinglang Zhang
Junxi Sheng
Wenbing Li
Junqing Yu
Wei Yang
Zikai Song
Zikai Song
LRM
384
4
0
29 Sep 2025
Towards a Common Framework for Autoformalization
Agnieszka Mensfelt
David Tena Cucala
Santiago Franco
Angeliki Koutsoukou-Argyraki
Vince Trencsenyi
Kostas Stathis
AI4CE
231
5
0
11 Sep 2025
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
Chuxue Cao
Mengze Li
Juntao Dai
Jinluan Yang
Zijian Zhao
Shengyu Zhang
Weijie Shi
Chengzhong Liu
Sirui Han
Wenhan Luo
LRM
210
8
0
20 Jun 2025
LogiPlan: A Structured Benchmark for Logical Planning and Relational Reasoning in LLMs
Yanan Cai
Ahmed Salem
Besmira Nushi
M. Russinovich
LLMAG
LRM
416
1
0
12 Jun 2025
Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
Yujun Zhou
Jiayi Ye
Zipeng Ling
Yufei Han
Yue Huang
...
Zhenwen Liang
Kehan Guo
Taicheng Guo
Xiangqi Wang
Xiangliang Zhang
ReLM
LRM
360
9
0
05 Jun 2025
Autoformalization in the Era of Large Language Models: A Survey
Ke Weng
Lun Du
Sirui Li
Wangyue Lu
Haozhe Sun
Hengyu Liu
Tiancheng Zhang
AI4CE
LRM
394
11
0
29 May 2025
Learning to Reason via Mixture-of-Thought for Logical Reasoning
Tong Zheng
Lichang Chen
Simeng Han
R. Thomas McCoy
Heng Huang
LRM
476
22
0
21 May 2025
SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
Anjiang Wei
Yuheng Wu
Yingjia Wan
Tarun Suresh
Huanmi Tan
Zhanke Zhou
Sanmi Koyejo
Ke Wang
Ke Wang
ReLM
LRM
363
23
0
20 May 2025
Adaptive Orchestration of Modular Generative Information Access Systems
Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR), 2025
Mohanna Hoveyda
Harrie Oosterhuis
A. D. Vries
Maarten de Rijke
Faegheh Hasibi
369
5
0
24 Apr 2025
Entailment-Preserving First-order Logic Representations in Natural Language Entailment
Annual Meeting of the Association for Computational Linguistics (ACL), 2025
Jinu Lee
Qi Liu
Runzhi Ma
Vincent Han
Ziqi Wang
Heng Ji
Anjali Narayan-Chen
304
4
0
24 Feb 2025
Can Transformers Reason Logically? A Study in SAT Solving
Leyan Pan
Vijay Ganesh
Jacob Abernethy
Chris Esposo
Wenke Lee
ReLM
LRM
516
13
0
09 Oct 2024
LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations
Shashank Kirtania
Priyanshu Gupta
Arjun Radhakirshna
LRM
371
22
0
22 Jun 2024
Faithful Logical Reasoning via Symbolic Chain-of-Thought
Jundong Xu
Hao Fei
Liangming Pan
Qian Liu
Yang Deng
Wynne Hsu
OffRL
LRM
LLMAG
406
155
0
28 May 2024
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2023
Theo X. Olausson
Alex Gu
Benjamin Lipkin
Cedegao E. Zhang
Armando Solar-Lezama
Josh Tenenbaum
Roger Levy
LRM
AI4CE
ReLM
596
224
0
23 Oct 2023
Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2023
Liangming Pan
Alon Albalak
Xinyi Wang
William Yang Wang
ReLM
LRM
AI4CE
507
496
0
20 May 2023
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting
Neural Information Processing Systems (NeurIPS), 2023
Xi Ye
Qiaochu Chen
Işıl Dillig
Greg Durrett
ReLM
ReCod
LRM
519
121
0
16 May 2023
Teaching Large Language Models to Self-Debug
International Conference on Learning Representations (ICLR), 2023
Xinyun Chen
Maxwell Lin
Nathanael Scharli
Denny Zhou
LRM
586
1,050
0
11 Apr 2023
Self-Refine: Iterative Refinement with Self-Feedback
Neural Information Processing Systems (NeurIPS), 2023
Aman Madaan
Niket Tandon
Prakhar Gupta
Skyler Hallinan
Luyu Gao
...
Bodhisattwa Prasad Majumder
Katherine Hermann
Sean Welleck
Amir Yazdanbakhsh
Peter Clark
ReLM
LRM
DiffM
2.0K
3,147
0
30 Mar 2023
GPT-4 Technical Report
OpenAI OpenAI
OpenAI Josh Achiam
Steven Adler
Sandhini Agarwal
Lama Ahmad
...
Shengjia Zhao
Tianhao Zheng
Juntang Zhuang
William Zhuk
Barret Zoph
LLMAG
MLLM
5.3K
23,506
0
15 Mar 2023
LEVER: Learning to Verify Language-to-Code Generation with Execution
International Conference on Machine Learning (ICML), 2023
Ansong Ni
Srini Iyer
Dragomir R. Radev
Ves Stoyanov
Anuj Kumar
Sida I. Wang
Xi Lin
544
305
0
16 Feb 2023
Large Language Models are Versatile Decomposers: Decompose Evidence and Questions for Table-based Reasoning
Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR), 2023
Yunhu Ye
Binyuan Hui
Min Yang
Binhua Li
Fei Huang
Yongbin Li
LMTD
ReLM
LRM
434
245
0
31 Jan 2023
Measuring and Narrowing the Compositionality Gap in Language Models
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2022
Ofir Press
Muru Zhang
Sewon Min
Ludwig Schmidt
Noah A. Smith
M. Lewis
ReLM
KELM
LRM
1.0K
1,117
0
07 Oct 2022
Decomposed Prompting: A Modular Approach for Solving Complex Tasks
International Conference on Learning Representations (ICLR), 2022
Tushar Khot
H. Trivedi
Matthew Finlayson
Yao Fu
Kyle Richardson
Peter Clark
Ashish Sabharwal
ReLM
LRM
658
651
0
05 Oct 2022
Compositional Semantic Parsing with Large Language Models
Andrew Drozdov
Nathanael Scharli
Ekin Akyuurek
Nathan Scales
Xinying Song
Xinyun Chen
Olivier Bousquet
Denny Zhou
ReLM
LRM
865
107
0
29 Sep 2022
FOLIO: Natural Language Reasoning with First-Order Logic
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2022
Simeng Han
Hailey Schoelkopf
Yilun Zhao
Zhenting Qi
Martin Riddell
...
Yingbo Zhou
Caiming Xiong
Rex Ying
Arman Cohan
Dragomir R. Radev
ReLM
LRM
435
172
0
02 Sep 2022
Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models
Aarohi Srivastava
Abhinav Rastogi
Abhishek Rao
Abu Awal Md Shoeb
Abubakar Abid
...
Zhuoye Zhao
Zijian Wang
Zijie J. Wang
Zirui Wang
Ziyi Wu
ELM
848
2,351
0
09 Jun 2022
Least-to-Most Prompting Enables Complex Reasoning in Large Language Models
International Conference on Learning Representations (ICLR), 2022
Denny Zhou
Nathanael Scharli
Le Hou
Jason W. Wei
Nathan Scales
...
Dale Schuurmans
Claire Cui
Olivier Bousquet
Quoc Le
Ed H. Chi
RALM
LRM
AI4CE
927
1,636
0
21 May 2022
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models
Neural Information Processing Systems (NeurIPS), 2022
Jason W. Wei
Xuezhi Wang
Dale Schuurmans
Maarten Bosma
Brian Ichter
F. Xia
Ed H. Chi
Quoc Le
Denny Zhou
LM&Ro
LRM
AI4CE
ReLM
2.8K
17,183
0
28 Jan 2022
LaMDA: Language Models for Dialog Applications
R. Thoppilan
Daniel De Freitas
Jamie Hall
Noam M. Shazeer
Apoorv Kulshreshtha
...
Blaise Aguera-Arcas
Claire Cui
M. Croak
Ed H. Chi
Quoc Le
ALM
607
1,852
0
20 Jan 2022
Evaluating Large Language Models Trained on Code
Mark Chen
Jerry Tworek
Heewoo Jun
Qiming Yuan
Henrique Pondé
...
Bob McGrew
Dario Amodei
Sam McCandlish
Ilya Sutskever
Wojciech Zaremba
ELM
ALM
2.7K
9,078
0
07 Jul 2021
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language
Findings (Findings), 2020
Oyvind Tafjord
Bhavana Dalvi
Peter Clark
556
413
0
24 Dec 2020
Language Models are Few-Shot Learners
Neural Information Processing Systems (NeurIPS), 2020
Tom B. Brown
Benjamin Mann
Nick Ryder
Melanie Subbiah
Jared Kaplan
...
Christopher Berner
Sam McCandlish
Alec Radford
Ilya Sutskever
Dario Amodei
BDL
2.4K
56,453
0
28 May 2020
1
Page 1 of 1
