Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic
Joseph Cotnareanu, Didier Chetelat, Yingxue Zhang +1
Although Large Language Models (LLMs) have demonstrated impressive formal reasoning abilities, they often break down when problems require complex proof planning. One promising app…
cs.AI2025
Reasoning on a Budget: A Survey of Adaptive and Controllable Test-Time Compute in LLMs
Mohammad Ali Alomrani, Yingxue Zhang, Derek Li +14
Large language models (LLMs) have rapidly progressed into general-purpose agents capable of solving a broad spectrum of tasks. However, current models remain inefficient at reasoni…