Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
- Website
- Community
- Solutions
Log In
Sign Up

William Patrick Yubeaton

wilyub

2

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 • 34
wilyub/VeriThoughtsTrainSet

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

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

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

VeriThoughts Datasets

Formally Verified Verilog Reasoning Datasets

wilyub/VeriThoughtsBenchmark

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

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

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

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

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs