← Back to PeopleLKResearcherLingkai KongResearcher at Shanghai AI LaboratoryLingkai Kong is a researcher in artificial intelligence.1Mentions1Articles1OutletsCompanies CoveredChinese University of Hong Kong1Great Bay University1Shanghai AI Laboratory1Shanghai Jiao Tong University1ArticlesMost recent firstMentioned InReferenced in coverageAdvanced Mathbench: A Benchmark Suite for Advanced Mathematical Proof Generation and VerificationShanghai AI LaboratorycautiousJul 19, 2026“Lead author of AdvancedMathBench, a benchmark suite for advanced mathematical proof generation and verification.”