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

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

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

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

VeriThoughts Datasets

Formally Verified Verilog Reasoning Datasets

wilyub/VeriThoughtsBenchmark

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

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

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

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

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs