Chenrui Cao

DesertEagle185's activity

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

authored 2 papers 6 months ago

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

Paper • 2506.11487 • Published Jun 13, 2025 • 3

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

Paper • 2508.04440 • Published Aug 6, 2025 • 9