Lingkai Kong

debouter's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

commented 2 papers about 1 hour ago

Incentivizing Self-Learning in Large Language Models via Reinforcement Learning

Paper • 2610.39671 • Published 15 days ago • 22 •

6

Incentivizing Self-Learning in Large Language Models via Reinforcement Learning

Paper • 2610.39671 • Published 15 days ago • 22 •

6

upvoted a paper about 9 hours ago

Scaling Mathematical Proof Supervision from Structured Textbooks

Paper • 2610.40394 • Published 15 days ago • 31

upvoted a paper about 12 hours ago

Incentivizing Self-Learning in Large Language Models via Reinforcement Learning

Paper • 2610.39671 • Published 15 days ago • 22

submitted a paper to Daily Papers about 12 hours ago

Incentivizing Self-Learning in Large Language Models via Reinforcement Learning

Paper • 2610.39671 • Published 15 days ago • 22

commented a paper about 12 hours ago

Incentivizing Self-Learning in Large Language Models via Reinforcement Learning

Paper • 2610.39671 • Published 15 days ago • 22 •

6

commented a paper about 1 month ago

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

Paper • 2607.11849 • Published Sep 29 • 28 •

4

liked a model about 1 month ago

internlm/AdvancedMathBench-AutoVerifier

Image-Text-to-Text • 36B • Updated Sep 29 • 618 • 1

liked a dataset about 1 month ago

internlm/AdvancedMathBench

Viewer • Updated Sep 29 • 1.13k • 232 • 1

upvoted a collection about 1 month ago

AdvancedMathBench

Collection

Datasets, model, and paper for AdvancedMathBench: process-level evaluation of advanced mathematical proof generation and verification. • 3 items • Updated Sep 29 • 1

updated a collection about 1 month ago

AdvancedMathBench

Collection

Datasets, model, and paper for AdvancedMathBench: process-level evaluation of advanced mathematical proof generation and verification. • 3 items • Updated Sep 29 • 1

published a dataset about 1 month ago

internlm/AdvancedMathBench

Viewer • Updated Sep 29 • 1.13k • 232 • 1

published a model about 1 month ago

internlm/AdvancedMathBench-AutoVerifier

Image-Text-to-Text • 36B • Updated Sep 29 • 618 • 1

authored 5 papers about 1 month ago

Intern-S2-Preview: Scientific Agentic Foundation Model

Paper • 2608.13505 • Published Aug 13 • 69

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

Paper • 2607.11849 • Published Sep 29 • 28

Intern-S1-Pro: Scientific Multimodal Foundation Model at Trillion Scale

Paper • 2603.25040 • Published Mar 26 • 131

OPV: Outcome-based Process Verifier for Efficient Long Chain-of-Thought Verification

Paper • 2512.10756 • Published Dec 11, 2025 • 36

Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving

Paper • 2512.10739 • Published Dec 11, 2025 • 47