Author

Xiang Lei

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

SpatialSkill: Self-Evolving Skills for Cross-View Spatial Reasoning

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 despite being natural to humans. Existing methods typically improve spatial reasoning by updating model weights, which keeps the acquired kn...

Rui-Fan Zuo, Guo-Cheng Hu, Wan-Shui Gan et al. · 0 citations

#artificial intelligence Preprint Sep 2026

Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning

Proof-R1 is proposed, an RL framework from formal verification that trains LLMs to construct verifiable proofs for natural-language logical reasoning and improves answer accuracy across three logical reasoning benchmarks and four backbone models and outperforms training-free agents and training-based methods in terms o...

Qi-Li Zhang, Qian-Ren Mao, Han-Ze Cai et al. · 0 citations