Logical Reasoning

6 papers across 3 sessions

Poster Session 2

Wednesday, December 3, 2025 · 4:30 PM → 7:30 PM

LogicTree: Improving Complex Reasoning of LLMs via Instantiated Multi-step Synthetic Logical Data

#113 Spotlight · Zehao Wang, Lin Yang, Jie Wang, Kehan Wang, Hanzhu Chen, Bin Wang, Jianye Hao, Defu Lian, Bin Li, Enhong Chen

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

#1814 · Junteng Liu, Yuanxiang Fan, Jiang Zhuo, Han Ding, Yongyi Hu, Chi Zhang, Yiqi Shi, Shitong Weng, Aili Chen, Shiqi Chen, Mozhi Zhang, Pengyu Zhao, Junxian He

We present SynLogic: a data synthesis framework and logical reasoning dataset encompassing 35 tasks.

Curriculum Abductive Learning

#2802 · Wen-Chao Hu, Qi-Jie Li, Lin-Han Jia, Cunjing Ge, Yu-Feng Li, Yuan Jiang, Zhi-Hua Zhou

We propose Curriculum Abductive Learning (C-ABL), a method that explicitly leverages structural properties of domain knowledge bases to improve training efficiency, stability and reasoning accuracy in ABL.

DMWM: Dual-Mind World Model with Long-Term Imagination

#5313 Spotlight · Lingyi Wang, Rashed Shelim, Walid Saad, Naren Ramakrishnan

Poster Session 5

1 paper

Friday, December 5, 2025 · 11:00 AM → 2:00 PM

Exhibit Hall C,D,E

A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning

#1012 Spotlight · Guan Zhe Hong, Nishanth Dikkala, Enming Luo, Cyrus Rashtchian, Xin Wang, Rina Panigrahy

We mechanistically analyze how large language models solve synthetic propositional logic problems.

Poster Session 6

1 paper

Friday, December 5, 2025 · 4:30 PM → 7:30 PM

Exhibit Hall C,D,E

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

#5104 Spotlight · Jiangjie Chen, Qianyu He, Siyu Yuan, Aili Chen, Zhicheng Cai, Weinan Dai, Hongli Yu, Jiaze Chen, Xuefeng Li, Qiying Yu, Hao Zhou, Mingxuan Wang