2 papers
cs.AI2026
Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning
Qili Zhang, Qianren Mao, Hanze Cai +11
Large language models (LLMs) are increasingly deployed for natural-language logical reasoning, where the final answer is easy to check but the proof behind it is not. In natural-la…
cs.CV2026
SpatialSkill: Self-Evolving Skills for Cross-View Spatial Reasoning
Ruifan Zuo, Guocheng Hu, Wanshui Gan +3
Cross-view spatial reasoning requires a model to align different viewpoints into a coherent spatial representation, yet this ability remains challenging for vision-language models…