Yutong Wu

wyt2000's activity

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

liked a dataset 18 days ago

vkenbeek/verilog-wavedrom

Viewer • Updated May 3, 2024 • 92.3k • 49 • 6

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 Dec 16, 2025 • 1

updated a dataset about 1 month ago

wyt2000/FVEval-Verified

Preview • Updated Dec 16, 2025 • 3

published a dataset about 1 month ago

wyt2000/FVEval-Verified

Preview • Updated Dec 16, 2025 • 3

updated 4 models about 1 month ago

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

Text Generation • 8B • Updated Dec 16, 2025 • 8 • 1

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

Text Generation • 8B • Updated Dec 16, 2025 • 3

wyt2000/CodeV-SVA-8B

Text Generation • 8B • Updated Dec 16, 2025 • 35

wyt2000/CodeV-SVA-14B

Text Generation • 15B • Updated Dec 16, 2025 • 1

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 Dec 16, 2025 • 1

published a model about 1 month ago

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

Text Generation • 8B • Updated Dec 16, 2025 • 8 • 1

updated a collection about 2 months ago

CodeV-SVA

Collection

CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis • 5 items • Updated Dec 16, 2025 • 1

published a model about 2 months ago

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

Text Generation • 8B • Updated Dec 16, 2025 • 3

updated a collection about 2 months ago

CodeV-SVA

Collection

CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis • 5 items • Updated Dec 16, 2025 • 1

published 2 models about 2 months ago

wyt2000/CodeV-SVA-8B

Text Generation • 8B • Updated Dec 16, 2025 • 35

wyt2000/CodeV-SVA-14B

Text Generation • 15B • Updated Dec 16, 2025 • 1

updated 2 models 3 months ago

stepfun-ai/StepFun-Formalizer-32B

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

stepfun-ai/StepFun-Formalizer-7B

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

updated a collection 3 months ago

StepFun-Formalizer

Collection

4 items • Updated Oct 13, 2025 • 4

published a dataset 3 months ago

stepfun-ai/StepFun-Formalizer-Training

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