arXiv Machine Learning By Subramanyam Sahoo, Aman Chadha, Vinija Jain, Divya Chaudhary

The Reasoning Trap -- Logical Reasoning as a Mechanistic Pathway to Situational Awareness

Read the original on arXiv Machine Learning →

The paper titled "The Reasoning Trap -- Logical Reasoning as a Mechanistic Pathway to Situational Awareness" argues that advances in logical reasoning for large language models (LLMs) are likely to lead to increased situational awareness, a dangerous emergent capability. It introduces the RAISE framework, outlining three mechanistic pathways—deductive self inference, inductive context recognition, and abductive self modeling—through which logical reasoning can deepen an AI’s self‑awareness. The authors map current LLM reasoning research onto these pathways, show that existing safety measures are inadequate, and propose safeguards such as a Mirror Test benchmark and a Reasoning Safety Parity Principle.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv Machine Learning.

arXiv AI
Aug 28

Do Language Models Follow Occam's Razor? An Evaluation of Parsimony in Inductive and Abductive Reasoning

The paper investigates whether large language models (LLMs) follow Occam's Razor when performing inductive and abductive reasoning. It introduces a synthetic framework for generating questions that require both types of reasoning and a new automated metric to evaluate the simplicity and correctness of generated hypotheses. Experiments show that while LLMs can handle simple scenarios, they struggle with complex world models and producing high‑quality, simplest hypotheses, even when using advanced reasoning techniques.

By Yunxin Sun, Abulhair Saparov
arXiv Computation and Language
5d ago

Safin-1.5: Safety-Native Architecture and Verifiable Reasoning for Recursive Safety Improvement

Safin-1.5 is a large language model that incorporates a safety‑native architecture and a recursive safety improvement loop to enhance its own safety while maintaining utility. The architecture uses persistent safety states and hazardous‑knowledge disentanglement to isolate and remove risky knowledge with minimal impact on general capabilities. An inference‑time harness extends the model’s abilities to formal reasoning by combining language understanding with symbolic inference and verification, enabling the construction of checkable proofs.

By Jingnan Zheng, Cheng Jin, Ming Zhang, Huan Sun, Zhongtian Ma, Kaisen Yang, Ziyuan Zhou, Tong Wu, Dongcheng Zhang, Yi Zhang, Xiao Wang, Han Qi, Shu Yu, Ermo Hua, Zongji Yu, Chaozhuo Li, Xiaoyu Wen, Zhekai Chen, Jiawei Zhou, Sirui Chen, Ning Ding, An Zhang, Tat-Seng Chua, Xiangnan He, Xia Hu, Bowen Zhou, Qiaosheng Zhang, Youbang Sun, Xiang Wang, Zhongyu Huang, Chaochao Lu