Chenrui Cao

DesertEagle185's activity

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

upvoted a paper 8 months ago

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion

Paper • 2508.04440 • Published Aug 6, 2025 • 9

upvoted an article 9 months ago

view article

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

• 

Jul 10, 2025

•

54

upvoted a paper 10 months ago

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models

Paper • 2506.11487 • Published Jun 13, 2025 • 3