VeriThoughts Datasets - a wilyub Collection

wilyub 's Collections

VeriThoughts Datasets

VeriThoughts Datasets

updated May 16

Formally Verified Verilog Reasoning Datasets

wilyub/VeriThoughtsBenchmark

Viewer • Updated May 16 • 291 • 86
wilyub/VeriThoughtsTrainSet

Viewer • Updated May 16 • 20.2k • 36
wilyub/VeriThoughtsTrainSetConsistentInstruction

Viewer • Updated May 16 • 10.1k • 18
wilyub/VeriThoughtsTrainSetConsistentReasoning

Viewer • Updated May 16 • 10.1k • 14
wilyub/VeriThoughtsTrainSetInconsistentInstructionGEN

Viewer • Updated May 16 • 10.1k • 12
wilyub/VeriThoughtsTrainSetInconsistentInstructionGT

Viewer • Updated May 16 • 10.1k • 19
wilyub/VeriThoughtsTrainSetInconsistentReasoningGEN

Viewer • Updated May 16 • 10.1k • 15
wilyub/VeriThoughtsTrainSetInconsistentReasoningGT

Viewer • Updated May 16 • 10.1k • 16