Formally Verified Verilog Reasoning Datasets
William Patrick Yubeaton
wilyub
AI & ML interests
None yet
Recent Activity
updated a dataset about 9 hours ago
DCAgent/Kimi-2.6-exp_rpt_codeelo-v2-maxeps-32k published a dataset about 9 hours ago
DCAgent/Kimi-2.6-exp_rpt_codeelo-v2-maxeps-32k updated a dataset 2 days ago
DCAgent/Kimi-2.5-exp_rpt_codeelo-v2-maxeps-32k