Yutong Wu

wyt2000's activity

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

New activity in stepfun-ai/StepFun-Formalizer-Training about 1 month ago

Upload folder using huggingface_hub

#1 opened about 1 month ago by

wyt2000

commented 2 papers 3 months ago

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

Paper • 2508.04440 • Published Aug 6 • 9 •

3

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

Paper • 2508.04440 • Published Aug 6 • 9 •

3

commented 2 papers over 1 year ago

InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct

Paper • 2407.05700 • Published Jul 8, 2024 • 14 •

2

InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct

Paper • 2407.05700 • Published Jul 8, 2024 • 14 •

2