Yutong Wu

wyt2000's activity

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

updated a collection 3 days ago

StepFun-Formalizer

Collection

3 items • Updated 3 days ago • 3

published 2 models 3 days ago

stepfun-ai/StepFun-Formalizer-32B

Text Generation • 33B • Updated 3 days ago • 45 • 3

stepfun-ai/StepFun-Formalizer-7B

Text Generation • 8B • Updated 4 days ago • 53 • 2

updated a model 3 days ago

stepfun-ai/StepFun-Formalizer-32B

Text Generation • 33B • Updated 3 days ago • 45 • 3

updated a model 4 days ago

stepfun-ai/StepFun-Formalizer-7B

Text Generation • 8B • Updated 4 days ago • 53 • 2

authored a paper 15 days ago

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

Paper • 2508.04440 • Published 17 days ago • 9

commented 2 papers 16 days ago

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

Paper • 2508.04440 • Published 17 days ago • 9 •

3

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

Paper • 2508.04440 • Published 17 days ago • 9 •

3

authored a paper 3 months ago

CodeV-R1: Reasoning-Enhanced Verilog Generation

Paper • 2505.24183 • Published May 30 • 8

upvoted a paper 3 months ago

CodeV-R1: Reasoning-Enhanced Verilog Generation

Paper • 2505.24183 • Published May 30 • 8

liked a dataset 4 months ago

Goedel-LM/Goedel-Pset-v1

Viewer • Updated Apr 18 • 1.73M • 354 • 9

liked a dataset 5 months ago

WhiteGiverPlus/mathlib4

Viewer • Updated Aug 8, 2024 • 4.64k • 1

liked a dataset 6 months ago

Inuyasha2023ch/LeanStatement

Viewer • Updated Sep 1, 2024 • 90.9k • 2 • 2

liked a dataset 12 months ago

l3lab/ntp-mathlib-instruct-context-fullproof

Viewer • Updated Sep 6, 2024 • 144k • 29 • 1

upvoted a collection 12 months ago

Informal-Formal

Collection

9 items • Updated Sep 5, 2024 • 1

updated 3 models about 1 year ago

wyt2000/InverseCoder-CL-13B

Text Generation • 13B • Updated Jul 27, 2024 • 4

wyt2000/InverseCoder-CL-7B

Text Generation • 7B • Updated Jul 27, 2024 • 6 • 1

wyt2000/InverseCoder-DS-6.7B

Text Generation • 7B • Updated Jul 27, 2024 • 5 • 2