Research author

Lingkai Kong

3 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Lingkai Kong

Oct 29, 2026
cs.CL

Scaling Mathematical Proof Supervision from Structured Textbooks

Youqing Fang, Zhouqi Hua, Yinhao Tang, et al.

Aug 13, 2026
cs.LG

Intern-S2-Preview: Scientific Agentic Foundation Model

Lei Bai, Jiaqi Cao, Chiyu Chen, et al.

56
Jul 13, 2026
cs.CL

AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification

Lingkai Kong, Zijian Wu, Yuzhe Gu, et al.

22
Lingkai Kong — AI Research Papers | One9Founders