datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
VeriReason-RTL-Coder_7b_reasoning_tbRTL-Coder-27kVeriReason-RTL-Coder_7b_no_reasoning_tb
VeriReason-RTL-Coder_7b_no_reasoning_tb
This dataset is an answer-only derivative of
Jongbin-kr/VeriReason-RTL-Coder_7b_reasoning_tb, created for
an SFT ablation on the effect of explicit reasoning paths.
Transformation
The output field is changed as follows:
<think>reasoning path</think><answer>solution</answer>
becomes:
<answer>solution</answer>
The complete <answer>...</answer> block, including the Verilog code, is retained.
For instructions containing the… See the full description on the dataset page: https://huggingface.co/datasets/Jongbin-kr/VeriReason-RTL-Coder_7b_no_reasoning_tb.