wilyub/VeriThoughtsBenchmark
Viewer
•
Updated
•
291
•
22
VeriThoughts Datasets
Formally Verified Verilog Reasoning Datasets
-
-
wilyub/VeriThoughtsTrainSet
Viewer • Updated • 20.2k • 113 • 1 -
wilyub/VeriThoughtsTrainSetConsistentInstruction
Viewer • Updated • 10.1k • 45 -
wilyub/VeriThoughtsTrainSetConsistentReasoning
Viewer • Updated • 10.1k • 19 -
wilyub/VeriThoughtsTrainSetInconsistentInstructionGEN
Viewer • Updated • 10.1k • 13 -
wilyub/VeriThoughtsTrainSetInconsistentInstructionGT
Viewer • Updated • 10.1k • 15 -
wilyub/VeriThoughtsTrainSetInconsistentReasoningGEN
Viewer • Updated • 10.1k • 5 -
wilyub/VeriThoughtsTrainSetInconsistentReasoningGT
Viewer • Updated • 10.1k • 8