arXiv Computation and Language

$\pi$-CoT: Prolog-Initialized Chain-of-Thought Prompting for Multi-Hop Question-Answering

arXiv AI
Jun 15

Fractured Chain-of-Thought Reasoning

arXiv:2505. 12992v4 Announce Type: replace-cross Abstract: Inference-time scaling techniques have significantly bolstered the reasoning capabilities of large language models (LLMs) by harnessing additional computational effort at inference without retraining.

By Baohao Liao, Hanze Dong, Yuhui Xu, Doyen Sahoo, Christof Monz, Junnan Li, Caiming Xiong
arXiv AI
Oct 9

Thought-Like-Pro: Enhancing Reasoning of Large Language Models through Self-Bootstrapped Prolog-based Chain-of-Thought

Thought‑Like‑Pro is a learning framework that enhances large language models’ reasoning by combining imitation learning with a Prolog logic engine. The approach imitates chain‑of‑thought processes verified by symbolic reasoning, allowing models to formulate rules from instructions and convert Prolog‑derived reasoning trajectories into natural language. Experiments show significant reasoning improvements and robust generalization with only a marginal performance drop on distributional extrapolation tasks.

By Xihe Qiu (Shanghai University of Engineering Science, National University of Singapore), Yongxin Deng (Shanghai University of Engineering Science, University of Technology Sydney), Xiaoyu Tan (National University of Singapore), Zhen Fang (University of Technology Sydney), Ling Chen (University of Technology Sydney)
arXiv Computation and Language
Sep 22

SG-FSM: A Self-Guiding Zero-Shot Prompting Paradigm for Multi-Hop Question Answering Based on Finite State Machine

arXiv:2410.17021v2 Announce Type: replace Abstract: Large Language Models with chain-of-thought prompting, such as OpenAI-o1, have shown impressive capabilities in natural language inference tasks. H...

By Xiaochen Wang, Liang Chen, Reza Haf Zhe Yang, Yiru Wang, Xiangdi Meng, Kunhao Pan, Zhifang Sui, Junqing He
arXiv AI
Sep 3

PRO-Step: Step-level Process Reward Optimization for Retrieval-Augmented Generation

PRO-Step introduces a step‑level process reward optimization framework for Retrieval‑Augmented Generation (RAG) that evaluates both logical validity and evidential grounding at each reasoning step. By training a generative Preference‑Based Reward Model (PRM) and using PRM‑guided value tree search to create preference pairs, the method optimizes the policy through step‑level Direct Preference Optimization. Experiments on single and multi‑hop QA benchmarks show that PRO‑STEP achieves the best average EM and F1 scores across five datasets.

By MinKeon Kim, Namjun Lee, Jaekwang Kim