datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
High-Coder-SFT-Small
High-Coder-SFT-Small
A high-quality synthetic code dataset containing 54,950 long-form code samples across 8 programming languages. Generated using Hunter Alpha (1T+ parameter frontier model). Every single sample contains at least 200 lines of actual code — most contain 500+.
This is not a snippet dataset. Every file is a complete, production-quality source file with imports, error handling, design patterns, and modern language idioms. The average sample is 630 lines of code… See the full description on the dataset page: https://huggingface.co/datasets/Crownelius/High-Coder-SFT-Small.hackathon-advisor-codex-traces
Hackathon Advisor Codex Session Traces
Real Codex session logs for the Hackathon Advisor project, selected from local Codex
rollout JSONL files and redacted before publication. The event stream preserves user
requests, assistant messages, tool calls, tool outputs, browser/search events, and
minimal session provenance needed to audit how the project was built.
Privacy filtering
The publisher applied openai/privacy-filter
at revision… See the full description on the dataset page: https://huggingface.co/datasets/build-small-hackathon/hackathon-advisor-codex-traces.RTL-Coder_small
RTL-Coder_small
For implementation details, visit our GitHub repository: VeriReason
Check out our paper: VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation
Update Log
2025.05.17: Initial release of Nellyw888/Verireason-RTL-Coder_7b_reasoning_tb
Project Description
This study introduces VeriReason, a novel approach utilizing reinforcement learning with testbench feedback to enhance the performance of pre-trained… See the full description on the dataset page: https://huggingface.co/datasets/Nellyw888/RTL-Coder_small.