Lingkai Kong

debouter's activity

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

upvoted a collection about 3 hours ago

AdvancedMathBench

Collection

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

upvoted a paper about 13 hours ago

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

Paper • 2607.11849 • Published Jul 13 • 30