Formally Verified Verilog Reasoning Datasets
William Patrick Yubeaton
wilyub
AI & ML interests
None yet
Organizations
models 0
None public yet
datasets 9
wilyub/VeriThoughtsTrainSetInconsistentReasoningGT
Viewer • Updated • 10.1k • 27
wilyub/VeriThoughtsTrainSetInconsistentReasoningGEN
Viewer • Updated • 10.1k • 26
wilyub/VeriThoughtsTrainSetInconsistentInstructionGT
Viewer • Updated • 10.1k • 30
wilyub/VeriThoughtsTrainSetInconsistentInstructionGEN
Viewer • Updated • 10.1k • 41
wilyub/VeriThoughtsTrainSetConsistentReasoning
Viewer • Updated • 10.1k • 38
wilyub/VeriThoughtsTrainSetConsistentInstruction
Viewer • Updated • 10.1k • 36
wilyub/VeriThoughtsTrainSet
Viewer • Updated • 20.2k • 93 • 1
wilyub/VeriThoughtsBenchmark
Viewer • Updated • 291 • 69
wilyub/VeriThoughts-30K
Viewer • Updated • 30.3k • 43