Datasetpublic

Jongbin-kr/VeriReason-reasoning-reproduced-1513_luna-medium

VeriReason reasoning reproduced (Luna medium) This dataset is a deterministic sample of the locally updated reproduced VeriReason files. Source files: train (1).jsonl, validation (1).jsonl Sampling: independent shuffle then prefix slice, fixed seed 42 Splits: train 1513, validation 189 Original target dataset: Jongbin-kr/VeriReason-RTL-Coder_7b_reasoning_tb (train 1513 / validation 189) Schema: id, instruction, output, tb, tb_result Quality checks: valid JSON, unique IDs… See the full description on the dataset page: https://huggingface.co/datasets/Jongbin-kr/VeriReason-reasoning-reproduced-1513_luna-medium.

sourceHugging Faceupdated 5d agoView on Hugging Face

0likes50downloads

settings

This repository belongs to Jongbin-kr on Hugging Face.

CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.

nameVeriReason-reasoning-reproduced-1513_luna-medium

visibilitypublic

licencenot set

gatedno

ownerJongbin-kr

Account settings