datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
solidity-audit-cot
solidity-audit-cot
Long-CoT audit traces for Solidity contracts, generated by Claude Opus 4.7 (adaptive thinking, xhigh effort) over the spec→contract corpus from the Qwopus3.6-27B-solidity training pipeline.
This dataset is the Stage 2 training corpus for the multi-stage Qwopus3.6-27B-solidity model — designed to teach long-form security reasoning (8-15 paragraph chain-of-thought) anchored to real Solidity contracts.
Why this dataset exists
Public Solidity audit… See the full description on the dataset page: https://huggingface.co/datasets/samscrack/solidity-audit-cot.F24-FFH-VerilogVerilog Generation training dataset - owned and maintained by Samuel Bush via the Secure and Trustworthy Hardware (SETH) Lab at Texas A&M University
Metrics:
Total Rows: ~222,000
Size of .JSON dataset: 17.8GB