Showing cs.AIShow all
3 papers · 1 filter
cs.AI2025
Evaluating the Logical Reasoning Abilities of Large Reasoning Models
Hanmeng Liu, Yiran Ding, Zhizhang Fu +3
Large reasoning models, often post-trained on long chain-of-thought (long CoT) data with reinforcement learning, achieve state-of-the-art performance on mathematical, coding, and d…
cs.AI2025
Logical Reasoning in Large Language Models: A Survey
Hanmeng Liu, Zhizhang Fu, Mengru Ding +4
With the emergence of advanced reasoning models like OpenAI o3 and DeepSeek-R1, large language models (LLMs) have demonstrated remarkable reasoning capabilities. However, their abi…
cs.AI2024
Logic Agent: Enhancing Validity with Logic Rule Invocation
Hanmeng Liu, Zhiyang Teng, Chaoli Zhang +1
Chain-of-Thought (CoT) prompting has emerged as a pivotal technique for augmenting the inferential capabilities of language models during reasoning tasks. Despite its advancements,…