Lingkai Kong

debouter's activity

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

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

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

upvoted a paper about 1 month ago

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

Paper • 2607.11849 • Published Sep 29 • 28