:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Yang, Keying, Wang, Hao, Yang, Kai
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2507.08501
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Medical Multimodal Diagnostic Framework Integrating Vision-Language Models and Logic Tree Reasoning
by: Zang, Zelin, et al.
Published: (2025)

Exploring the Reversal Curse and Other Deductive Logical Reasoning in BERT and GPT-Based Large Language Models
by: Wu, Da, et al.
Published: (2023)

Adaptive Selection of Symbolic Languages for Improving LLM Logical Reasoning
by: Wang, Xiangyu, et al.
Published: (2025)

From Sequence to Structure: Uncovering Substructure Reasoning in Transformers
by: Dai, Xinnan, et al.
Published: (2025)

Human-Level Reasoning: A Comparative Study of Large Language Models on Logical and Abstract Reasoning
by: Moreira, Benjamin Grando
Published: (2025)

Reason from Fallacy: Enhancing Large Language Models' Logical Reasoning through Logical Fallacy Understanding
by: Li, Yanda, et al.
Published: (2024)

Boundary Matters: A Bi-Level Active Finetuning Framework
by: Lu, Han, et al.
Published: (2024)

From Skill Text to Skill Structure: The Scheduling-Structural-Logical Representation for Agent Skills
by: Liang, Qiliang, et al.
Published: (2026)

Assessing and Enhancing the Robustness of Large Language Models with Task Structure Variations for Logical Reasoning
by: Bao, Qiming, et al.
Published: (2023)

Semantic-Aware Logical Reasoning via a Semiotic Framework
by: Zhang, Yunyao, et al.
Published: (2025)

From Query to Logic: Ontology-Driven Multi-Hop Reasoning in LLMs
by: Bian, Haonan, et al.
Published: (2025)

Logical Reasoning over Natural Language as Knowledge Representation: A Survey
by: Yang, Zonglin, et al.
Published: (2023)

Ada-R1: Hybrid-CoT via Bi-Level Adaptive Reasoning Optimization
by: Luo, Haotian, et al.
Published: (2025)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
by: Jiang, Jin, et al.
Published: (2025)

Addressing Logical Fallacies In Scientific Reasoning From Large Language Models: Towards a Dual-Inference Training Framework
by: Walker, Peter B., et al.
Published: (2025)

Logic Contrastive Reasoning with Lightweight Large Language Model for Math Word Problems
by: Kai, Ding, et al.
Published: (2024)

LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models
by: Rabern, Brian, et al.
Published: (2026)

DivLogicEval: A Framework for Benchmarking Logical Reasoning Evaluation in Large Language Models
by: Chung, Tsz Ting, et al.
Published: (2025)

MAT-Cell: A Multi-Agent Tree-Structured Reasoning Framework for Batch-Level Single-Cell Annotation
by: Yang, Yehui, et al.
Published: (2026)

ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning
by: Wang, Zhongsheng, et al.
Published: (2024)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
by: Zang, Zhengqing, et al.
Published: (2026)

Multi-view Phase-aware Pedestrian-Vehicle Incident Reasoning Framework with Vision-Language Models
by: Zhen, Hao, et al.
Published: (2025)

LogicLens: Visual-Logical Co-Reasoning for Text-Centric Forgery Analysis
by: Zeng, Fanwei, et al.
Published: (2025)

REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
by: Wan, Zishen, et al.
Published: (2026)

Neural Contextual Reinforcement Framework for Logical Structure Language Generation
by: Irvin, Marcus, et al.
Published: (2025)

Judgment-of-Thought Prompting: A Courtroom-Inspired Framework for Binary Logical Reasoning with Large Language Models
by: Park, Sungjune, et al.
Published: (2024)

LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models
by: He, Kang, et al.
Published: (2025)

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
by: Wan, Yuxuan, et al.
Published: (2024)

Stable Preference Optimization: A Bilevel Approach to Catastrophic Preference Shift
by: Jian, Chengtao, et al.
Published: (2025)

MedLA: A Logic-Driven Multi-Agent Framework for Complex Medical Reasoning with Large Language Models
by: Ma, Siqi, et al.
Published: (2025)

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers
by: Raza, Mohammad, et al.
Published: (2025)

SwiReasoning: Switch-Thinking in Latent and Explicit for Pareto-Superior Reasoning LLMs
by: Shi, Dachuan, et al.
Published: (2025)

Logical Structure as Knowledge: Enhancing LLM Reasoning via Structured Logical Knowledge Density Estimation
by: Bi, Zhen, et al.
Published: (2025)

Matrix as Plan: Structured Logical Reasoning with Feedback-Driven Replanning
by: Chen, Ke, et al.
Published: (2026)

TokUR: Token-Level Uncertainty Estimation for Large Language Model Reasoning
by: Zhang, Tunyu, et al.
Published: (2025)

MedGuideX: Internalizing Decision Logic from Executable Guidelines into Large Language Models for Clinical Reasoning
by: Shen, Yuhao, et al.
Published: (2026)

Logical Reasoning in Large Language Models: A Survey
by: Liu, Hanmeng, et al.
Published: (2025)

Learning Structured Reasoning via Tractable Trajectory Control
by: Kung, Po-Nien, et al.
Published: (2026)

Tri-Level Navigator: LLM-Empowered Tri-Level Learning for Time Series OOD Generalization
by: Jian, Chengtao, et al.
Published: (2024)

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles
by: Chen, Jiangjie, et al.
Published: (2025)