Yutong Wu

wyt2000's activity

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

liked a dataset 26 days ago

vkenbeek/verilog-wavedrom

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

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

updated a dataset about 2 months ago

wyt2000/FVEval-Verified

Preview • Updated Dec 16, 2025 • 2

published a dataset about 2 months ago

wyt2000/FVEval-Verified

Preview • Updated Dec 16, 2025 • 2

updated 4 models about 2 months ago

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

Text Generation • 8B • Updated Dec 16, 2025 • 6 • 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 • 4

wyt2000/CodeV-SVA-14B

Text Generation • 15B • Updated Dec 16, 2025 • 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-no-dut-8B

Text Generation • 8B • Updated Dec 16, 2025 • 6 • 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 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 2 months ago

wyt2000/CodeV-SVA-8B

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

wyt2000/CodeV-SVA-14B

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

updated 2 models 4 months ago

stepfun-ai/StepFun-Formalizer-32B

Text Generation • 33B • Updated Oct 13, 2025 • 95 • 10

stepfun-ai/StepFun-Formalizer-7B

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

updated a collection 4 months ago

StepFun-Formalizer

Collection

4 items • Updated Oct 13, 2025 • 4

published a dataset 4 months ago

stepfun-ai/StepFun-Formalizer-Training

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