Yutong Wu

wyt2000's activity

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

updated a collection 17 days ago

CodeV-SVA

Collection

CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis • 5 items • Updated 17 days ago • 1

updated a dataset 17 days ago

wyt2000/FVEval-Verified

Preview • Updated 17 days ago • 6

published a dataset 17 days ago

wyt2000/FVEval-Verified

Preview • Updated 17 days ago • 6

updated 4 models 17 days ago

wyt2000/CodeV-SVA-no-think-no-dut-8B

Text Generation • 8B • Updated 17 days ago • 24 • 1

wyt2000/CodeV-SVA-no-think-8B

Text Generation • 8B • Updated 17 days ago • 21

wyt2000/CodeV-SVA-8B

Text Generation • 8B • Updated 17 days ago • 96

wyt2000/CodeV-SVA-14B

Text Generation • 15B • Updated 17 days ago • 27

updated a collection 17 days ago

CodeV-SVA

Collection

CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis • 5 items • Updated 17 days ago • 1

published a model 17 days ago

wyt2000/CodeV-SVA-no-think-no-dut-8B

Text Generation • 8B • Updated 17 days ago • 24 • 1

updated a collection 28 days ago

CodeV-SVA

Collection

CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis • 5 items • Updated 17 days ago • 1

published a model 28 days ago

wyt2000/CodeV-SVA-no-think-8B

Text Generation • 8B • Updated 17 days ago • 21

updated a collection about 1 month ago

CodeV-SVA

Collection

CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis • 5 items • Updated 17 days ago • 1

published 2 models about 1 month ago

wyt2000/CodeV-SVA-8B

Text Generation • 8B • Updated 17 days ago • 96

wyt2000/CodeV-SVA-14B

Text Generation • 15B • Updated 17 days ago • 27

updated 2 models 3 months ago

stepfun-ai/StepFun-Formalizer-32B

Text Generation • 33B • Updated Oct 13, 2025 • 206 • 8

stepfun-ai/StepFun-Formalizer-7B

Text Generation • 8B • Updated Oct 13, 2025 • 436 • 6

updated a collection 3 months ago

StepFun-Formalizer

Collection

4 items • Updated Oct 13, 2025 • 3

published a dataset 3 months ago

stepfun-ai/StepFun-Formalizer-Training

Viewer • Updated Oct 13, 2025 • 188k • 118 • 4

updated a dataset 3 months ago

stepfun-ai/StepFun-Formalizer-Training

Viewer • Updated Oct 13, 2025 • 188k • 118 • 4