William Patrick Yubeaton

wilyub's activity

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

updated a dataset about 2 months ago

wilyub/VeriThoughts-30K

Viewer • Updated Jun 28 • 30.3k • 9

published a dataset about 2 months ago

wilyub/VeriThoughts-30K

Viewer • Updated Jun 28 • 30.3k • 9

updated 2 collections 3 months ago

VeriThoughts Models

Collection

3 items • Updated May 23

VeriThoughts Datasets

Collection

Formally Verified Verilog Reasoning Datasets • 8 items • Updated May 16

updated a dataset 3 months ago

wilyub/VeriThoughtsTrainSetInconsistentReasoningGT

Viewer • Updated May 16 • 10.1k • 3

published a dataset 3 months ago

wilyub/VeriThoughtsTrainSetInconsistentReasoningGT

Viewer • Updated May 16 • 10.1k • 3

updated a dataset 3 months ago

wilyub/VeriThoughtsTrainSetInconsistentReasoningGEN

Viewer • Updated May 16 • 10.1k • 8