Lingkai Kong

Lingkai Kong on Hugging Face Daily Papers: 6 papers, 3 in the top 3 of their day, 593 upvotes.

1. Intern-S2-Preview: Scientific Agentic Foundation Model 68 upvotes, #6 of 2026-08-14
2. AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification 33 upvotes, #7 of 2026-07-14
3. Intern-S1-Pro: Scientific Multimodal Foundation Model at Trillion Scale 125 upvotes, #1 of 2026-03-27
4. Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving 44 upvotes, #2 of 2025-12-12
5. OPV: Outcome-based Process Verifier for Efficient Long Chain-of-Thought Verification 32 upvotes, #4 of 2025-12-12
6. Intern-S1: A Scientific Multimodal Foundation Model 242 upvotes, #1 of 2025-08-22

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.