Author

Qi-Li Zhang

h-index 2 View on Semantic Scholar

We have 2 of 5 papers

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.

#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

#natural language process... Preprint Sep 2026

Selective Knowledge Edit Reversal via Gated Singular Vector Shrinkage

Results suggest that different edits are sparsely encoded within dominant singular components and can be separable when the number of edits is moderate, making selective spectral reversal a promising direction for locating edit-specific components and repairing edited language models.

Wei-Feng Jiang, Rui-Rui Chen, Qian-Ren Mao et al. · 0 citations