Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
Log In
Sign Up

William Patrick Yubeaton's picture

2

William Patrick Yubeaton

wilyub

pakphum's profile picture

·

AI & ML interests

None yet

Organizations

wilyub 's collections 1

VeriThoughts Datasets

Formally Verified Verilog Reasoning Datasets

wilyub/VeriThoughtsBenchmark

Viewer • Updated Oct 24, 2025 • 291 • 44
wilyub/VeriThoughtsTrainSet

Viewer • Updated Oct 24, 2025 • 20.2k • 140 • 1
wilyub/VeriThoughtsTrainSetConsistentInstruction

Viewer • Updated Oct 24, 2025 • 10.1k • 10
wilyub/VeriThoughtsTrainSetConsistentReasoning

Viewer • Updated Oct 24, 2025 • 10.1k • 8

VeriThoughts Datasets

Formally Verified Verilog Reasoning Datasets

wilyub/VeriThoughtsBenchmark

Viewer • Updated Oct 24, 2025 • 291 • 44
wilyub/VeriThoughtsTrainSet

Viewer • Updated Oct 24, 2025 • 20.2k • 140 • 1
wilyub/VeriThoughtsTrainSetConsistentInstruction

Viewer • Updated Oct 24, 2025 • 10.1k • 10
wilyub/VeriThoughtsTrainSetConsistentReasoning

Viewer • Updated Oct 24, 2025 • 10.1k • 8

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs