Formally Verified Verilog Reasoning Datasets
William Patrick Yubeaton
wilyub
AI & ML interests
None yet
Recent Activity
updated
a dataset
7 days ago
DCAgent/glm46-Magicoder-Evol-Instruct-110K-sandboxes-1-traces
published
a dataset
7 days ago
DCAgent/glm46-Magicoder-Evol-Instruct-110K-sandboxes-1-traces
updated
a dataset
2 months ago
wilyub/VeriThoughtsTrainSetInconsistentReasoningGT