Formally Verified Verilog Reasoning Datasets
William Patrick Yubeaton
wilyub
AI & ML interests
None yet
Recent Activity
updated a model 1 day ago
DCAgent/FourDatasetMixQwen3_8B published a model 1 day ago
DCAgent/FourDatasetMixQwen3_8B updated a dataset 1 day ago
DCAgent/Kimi-2.5-exp-gfi-swesmith-random-filtered-10K-maxeps-32k