datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
RTL-Coder_7b_reasoning_tb_combined
Verireason-RTL-Coder_7b_reasoning_tb_combined
For implementation details, visit our GitHub repository: VeriReason
Check out our paper: VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation
This is the combined version of VeriReason-RTL-Coder_7b_reasoning_tb and VeriReason-RTL-Coder_7b_reasoning_tb_simple.
Update Log
2025.05.17: Initial release of Nellyw888/Verireason-RTL-Coder_7b_reasoning_tb_combined
Project… See the full description on the dataset page: https://huggingface.co/datasets/Nellyw888/RTL-Coder_7b_reasoning_tb_combined.VeriReason-RTL-Coder_7b_reasoning_tb_simple
Verireason-RTL-Coder_7b_reasoning_tb_simple
For implementation details, visit our GitHub repository: VeriReason and our page
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_simple
Project Description
This study introduces VeriReason, a novel approach utilizing reinforcement learning with… See the full description on the dataset page: https://huggingface.co/datasets/Nellyw888/VeriReason-RTL-Coder_7b_reasoning_tb_simple.VeriReason-RTL-Coder_7b_reasoning_tb
Verireason-RTL-Coder_7b_reasoning_tb
For implementation details, visit our GitHub repository: VeriReason and our page
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… See the full description on the dataset page: https://huggingface.co/datasets/Nellyw888/VeriReason-RTL-Coder_7b_reasoning_tb.synthetic-sugar-quill
Synthetic Sugarquill with author profiles
This is a complete literary editing of the original Sugarquill 10k dataset:
https://huggingface.co/datasets/allura-org/sugarquill-10k
the id references the index of the original dataset
filtered out 206 bad rows
used primarily gemini-2.0-flash and gemini-2.5-pro-exp-03-25 to rewrite the original shortstory using the following system prompt. It is inspired by the evaluation system from eqbench creative writing.
You are an expert literary… See the full description on the dataset page: https://huggingface.co/datasets/Nelathan/synthetic-sugar-quill.Chess_openings_dataset
Version 1 of the dataset
Structure of the dataset:
Opening_type:
The title of the opening being played.
Context:
A string representing a list of moves, each move is represented by the previous state of the board, the move that is going to be made, and the effect that the move had on the board.
The board is represented as an 8*8 grid of characters where each character represents a piece or an empty square:
r . . q k b n r
p p p . p . p p
. . n .… See the full description on the dataset page: https://huggingface.co/datasets/nelson2424/Chess_openings_dataset.RTL-Coder_7b_reasoning
Verireason-RTL-Coder_7b_reasoning_tb_simple
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
Project Description
This study introduces VeriReason, a novel approach utilizing reinforcement learning with testbench feedback to enhance the… See the full description on the dataset page: https://huggingface.co/datasets/Nellyw888/RTL-Coder_7b_reasoning.portuguese-qa-instruct-500
Portuguese Q&A Instruction Dataset (500 pairs)
500 Portuguese (PT-PT) question-answer pairs formatted for instruction fine-tuning of language models.
Dataset Structure
Each example has three columns:
Column
Description
Example
instruction
The question in Portuguese
"Qual e a capital de Portugal?"
response
The answer in Portuguese
"A capital de Portugal e Lisboa."
text
Pre-formatted instruction template (see below)
"<|im_start|>user\n..."… See the full description on the dataset page: https://huggingface.co/datasets/nelsondiasandre/portuguese-qa-instruct-500.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.nell-995
NELL-995
Dataset Description
Never-Ending Learning subset for link prediction
Original Source: https://github.com/wenhuchen/KB-Reasoning-Data/archive/refs/heads/master.zip
Dataset Summary
This dataset contains RDF triples from NELL-995 converted to HuggingFace
dataset format for easy use in machine learning pipelines.
Format: Originally tsv, converted to HuggingFace Dataset
Size: 0.12 GB (extracted)
Entities: ~75,492
Triples: 154,213
Original License:
CC… See the full description on the dataset page: https://huggingface.co/datasets/CleverThis/nell-995.brainrot-custom-dataset
Brainrot Fine-Tuning Dataset
This is a cleaned fine-tuning conversion of shvn22k/brainrot-dataset.
Target repo:
Nels2/brainrot-custom-dataset
Purpose
This dataset is intended for supervised fine-tuning experiments where the model learns to translate standard English into casual "brainrot" internet-speak style.
Format
Output format: chat
Each row uses a chat-style messages array:
{
"messages": [
{
"role": "system",
"content": "You… See the full description on the dataset page: https://huggingface.co/datasets/Nels2/brainrot-custom-dataset.alpaca-train-validation-test-split-50
Dataset Card for Alpaca
I have just performed train, test and validation split on the original dataset. Repository to reproduce this will be shared here soon. I am including the orignal Dataset card as follows.
Dataset Summary
Alpaca is a dataset of 52,000 instructions and demonstrations generated by OpenAI's text-davinci-003 engine. This instruction data can be used to conduct instruction-tuning for language models and make the language model follow instruction… See the full description on the dataset page: https://huggingface.co/datasets/nelsonmaligro/alpaca-train-validation-test-split-50.Universal-Chat-SFT-Dataset
Universal-Chat-SFT-Dataset
A large-scale multi-turn conversational dataset designed for supervised fine-tuning (SFT) of modern Large Language Models (LLMs).
The dataset follows the OpenAI-style chat format with structured messages, making it directly compatible with most modern LLM training frameworks including Hugging Face Transformers, TRL, Axolotl, Unsloth, LlamaFactory, and custom fine-tuning pipelines.
Features
✅ Multi-turn conversations
✅ OpenAI-compatible… See the full description on the dataset page: https://huggingface.co/datasets/nelsonmaligro/Universal-Chat-SFT-Dataset.