datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
LeanTransitionCorpus
LeanTransitionCorpus
LeanTransitionCorpus is a dataset for training and studying automated theorem
proving systems in Lean. Its unit of data is one tactic transition: the proof state
before a tactic, the tactic that was executed, and the resulting state. This makes
it suitable for tactic prediction, proof-state representation learning, premise
selection, retrieval, verification, and trajectory-level training.
Many Lean datasets expose a theorem, tactic, and pretty-printed goal… See the full description on the dataset page: https://huggingface.co/datasets/HyperCactus0/LeanTransitionCorpus.function-calling-sharegptThis is a dataset for finetuning models on function calling based on glaiveai/glaive-function-calling-v2.
The dataset includes 86,864 examples of chats that include function calling as part of the conversation. The system prompt includes either 0, 1, or 2 functions that the assistant can use, and instructions on how the agent can use it.
Changes include:
Using ShareGPT format for chats
Adding "function_response" as a role
Removing code examples
Removing examples with invalid JSON as function… See the full description on the dataset page: https://huggingface.co/datasets/hypervariance/function-calling-sharegpt.Four-Leaf-Clover-Hyper-Split-02
Pausing & Resting Four Leaf Clover Dataset
Hi! KaraKaraWitch here. For the past couple of months, I've been collecting 4chan.org posts. This used to include /r/.
Fast forward to 16 Aug, I've noticed 4chan has been kind of flaky and throwing some errors at crawl time. It's was bout' time I take a pause to rework the crawller.
Additionally it has came to my attention that some images in /r/ contained NCII as referenced in Openmeasures.io. For this reason, I'll be stopping 4chan… See the full description on the dataset page: https://huggingface.co/datasets/WitchesSocialStream-Clover-B/Four-Leaf-Clover-Hyper-Split-02.Steve_Jobs_Interviews
Steve Jobs Interviews Database
Support this project on Ko-fi
Project Overview
This project contains multiple interviews of Steve Jobs during his time before and after Apple.
Goal
The primary goal of this dataset was to fine-tune a language model to output Steve Jobs views and thoughts.
Performance
The performance of this small dataset is very noteworthy. Do to the nature of the database being interview question and answer pairs the replies of the… See the full description on the dataset page: https://huggingface.co/datasets/Hypersniper/Steve_Jobs_Interviews.Competition-Submissions
Competition Submissions
A curated dataset of writing that models compassionate moral reasoning about nonhuman sentient beings — animals, insects, digital minds, and entities whose moral status is uncertain.
Designed for pretraining and fine-tuning language models to reason more carefully and compassionately when facing decisions that affect sentient life.
Why This Dataset Exists
Recent alignment research shows that training on synthetic documents depicting… See the full description on the dataset page: https://huggingface.co/datasets/Hyperstition-for-Good/Competition-Submissions.DGUI_HYPERMEM-JEV
DGUI_HYPERMEM-JEV
The training "brain" for DGUI-HyperMem (DeckerGUI HyperMemory) — the self-hosted
memory MCP server. Every JEV reasoning decision the service makes is appended here as a
typed instruction row, so the corpus grows with real usage and can be used to fine-tune or
few-shot the JEV layer later.
Usage
from datasets import load_dataset
ds = load_dataset("ctaxnagomi/DGUI_HYPERMEM-JEV", split="train")
for row in ds.stream():
print(row["use_case"]… See the full description on the dataset page: https://huggingface.co/datasets/ctaxnagomi/DGUI_HYPERMEM-JEV.HyperThink-X-Nvidia-Opencode-Reasoning-200K
🔮 HyperThink
HyperThink is a premium, best-in-class dataset series capturing deep reasoning interactions between users and an advanced Reasoning AI system. Designed for training and evaluating next-gen language models on complex multi-step tasks, the dataset spans a wide range of prompts and guided thinking outputs.
🚀 Dataset Tiers
HyperThink is available in three expertly curated versions, allowing flexible scaling based on compute resources and training goals:… See the full description on the dataset page: https://huggingface.co/datasets/Sashvat/HyperThink-X-Nvidia-Opencode-Reasoning-200K.task1582_bless_hypernym_generation
Dataset Card for Natural Instructions (https://github.com/allenai/natural-instructions) Task: task1582_bless_hypernym_generation
Additional Information
Citation Information
The following paper introduces the corpus in detail. If you use the corpus in published work, please cite it:
@misc{wang2022supernaturalinstructionsgeneralizationdeclarativeinstructions,
title={Super-NaturalInstructions: Generalization via Declarative Instructions on 1600+ NLP Tasks}… See the full description on the dataset page: https://huggingface.co/datasets/Lots-of-LoRAs/task1582_bless_hypernym_generation.philosophy_dialogue
Philosophy Dialogue Processed with GPT-4
Support this project on Ko-fi
Project Overview
This project involves processing personal questions through GPT-4 in the style of the philosopher Socrates.
Prompt Structure
The following prompt was used to guide GPT-4's responses:
"You are the philosopher Socrates. You are asked about the nature of knowledge and virtue. Respond with your thoughts, reflecting Socrates' beliefs and wisdom."
Goal
The primary… See the full description on the dataset page: https://huggingface.co/datasets/Hypersniper/philosophy_dialogue.task1585_root09_hypernym_generation
Dataset Card for Natural Instructions (https://github.com/allenai/natural-instructions) Task: task1585_root09_hypernym_generation
Additional Information
Citation Information
The following paper introduces the corpus in detail. If you use the corpus in published work, please cite it:
@misc{wang2022supernaturalinstructionsgeneralizationdeclarativeinstructions,
title={Super-NaturalInstructions: Generalization via Declarative Instructions on 1600+ NLP Tasks}… See the full description on the dataset page: https://huggingface.co/datasets/Lots-of-LoRAs/task1585_root09_hypernym_generation.unity_api_2022_3
Unity3d 2022.3 LTS API & Manual
In this dataset, you'll find a series of Q&A for the Unity3d API and Manual.
Dataset Creation
Download the unity offline documentation.
Process documentation, extract title, and description. Clean documentation.
Process each title and description item in llama3-8B-Instruct in order to generate several questions that capture the meaning of the API.
Re-process in llama3-8B-Instruct with question and API to generate the answer.… See the full description on the dataset page: https://huggingface.co/datasets/Hypersniper/unity_api_2022_3.hyperion-v2.0
Hyperion v2.0
Introduction
Hyperion is a comprehensive question answering and conversational dataset designed to promote advancements in AI research with a particular emphasis on reasoning and understanding in scientific domains such as science, medicine, mathematics, and computer science. It integrates data from a wide array of datasets, facilitating the development of models capable of handling complex inquiries and instructions.
Dataset Description
Hyperion… See the full description on the dataset page: https://huggingface.co/datasets/Locutusque/hyperion-v2.0.hyperion-v3.0Hyperion-3.0 has significantly improved performance over its predecessors.
"I found that having more code datasets than general purpose datasets ironically decreases performance in both coding and general tasks."
Data sources:
OpenOrca/SlimOrca
cognitivecomputations/dolphin (300k examples)
microsoft/orca-math-word-problems-200k (60k examples)
glaiveai/glaive-code-assistant
Vezora/Tested-22k-Python-Alpaca
Unnatural Instructions
BI55/MedText
LDJnr/Pure-Dove
Various domain-specific datasets by… See the full description on the dataset page: https://huggingface.co/datasets/Locutusque/hyperion-v3.0.hyperswitch-code-corpus-track-a
archit11/hyperswitch-code-corpus-track-a
Repository-specific code corpus extracted from hyperswitch and split by file for training/evaluation.
What is in this dataset
Source corpus: data/code_corpus_hyperswitch
Total files: 300
Train files: 270
Validation files: 30
Test files: 0
File type filter: .rs
Split mode: file (file-level holdout)
Each row has:
file_name: flattened source file name
text: full file contents
Training context
This dataset was used for… See the full description on the dataset page: https://huggingface.co/datasets/archit11/hyperswitch-code-corpus-track-a.Hypermind-360
🧠 Hypermind-360 (Massive Edition)
Dataset Description
Hypermind-360 is a colossal multi-format synthetic dataset engineered for heavy-duty AI training, LLM fine-tuning, and large-scale data analytics. Total size exceeds 5GB.
📂 sharegpt/
150,000 deep, multi-turn conversations with massive context windows.
Domains: Coding, Science, History, Creative, Math, Philosophy.
📂 normal/
2,000,000 e-commerce transactions with detailed… See the full description on the dataset page: https://huggingface.co/datasets/Nasaawakening/Hypermind-360.sharegpt-hyperfiltered-3k-llama
sharegpt-hyperfiltered-3k-llama
sharegpt-hyperfiltered-3k, formatted to llama2's prompting schema.
hyperframes-composer-data
HyperFrames LLM training corpus
Generated: 2026-07-10T00:14:14.706049+00:00
Contents
Split / file
Rows
Path
sft_records_v4
515
data/staged/records_v4.jsonl
dpo_pairs_v2
169
data/dpo/pairs_v2.jsonl
golden_briefs_v2
72
data/golden/briefs_v2.jsonl
catalog_sft_enrichment
135
data/catalog_sft_enrichment.jsonl
Total rows (sum of parts): 891
Schema notes
SFT records: staged HyperFrames compositions (JSONL).
DPO pairs: preference… See the full description on the dataset page: https://huggingface.co/datasets/cristianoaredes/hyperframes-composer-data.hyperswitch-issue-to-code_v2
Rust Commit Dataset - Hyperswitch
Dataset Description
This dataset contains Rust commit messages paired with their corresponding code patches from the Hyperswitch repository.
Dataset Summary
Total Examples: 319
Language: Rust
Source: Hyperswitch GitHub repository
Format: Prompt-response pairs for supervised fine-tuning (SFT)
Data Fields
prompt: The commit message describing the change
response: The git patch/diff showing the actual code changes… See the full description on the dataset page: https://huggingface.co/datasets/archit11/hyperswitch-issue-to-code_v2.hyperswitch-issue-to-code_v3_natural
Rust Commit Dataset - Hyperswitch
Dataset Description
This dataset contains Rust commit messages paired with their corresponding code patches from the Hyperswitch repository.
Dataset Summary
Total Examples: 9
Language: Rust
Source: Hyperswitch GitHub repository
Format: Prompt-response pairs for supervised fine-tuning (SFT)
Data Fields
prompt: The commit message describing the change
response: The git patch/diff showing the actual code changes… See the full description on the dataset page: https://huggingface.co/datasets/archit11/hyperswitch-issue-to-code_v3_natural.2SyntheticDatasetSmallsharegpt-hyperfiltered-3k-zephyr
sharegpt-hyperfiltered-3k-zephyr
sharegpt-hyperfiltered-3k, formatted to the prompting schema zephyr-7b-alpha uses.
hyperswitch-rust-commits-final
Rust Commit Dataset - Hyperswitch
Dataset Description
This dataset contains Rust commit messages paired with their corresponding code patches from the Hyperswitch repository.
Dataset Summary
Total Examples: 2277
Language: Rust
Source: Hyperswitch GitHub repository
Format: Prompt-response pairs for supervised fine-tuning (SFT)
Data Fields
prompt: The commit message describing the change
response: The git patch/diff showing the actual code changes… See the full description on the dataset page: https://huggingface.co/datasets/archit11/hyperswitch-rust-commits-final.hyperswitch-rust-commits
Rust Commit Dataset - Hyperswitch
Dataset Description
This dataset contains Rust commit messages paired with their corresponding code patches from the Hyperswitch repository.
Dataset Summary
Total Examples: 0
Language: Rust
Source: Hyperswitch GitHub repository
Format: Prompt-response pairs for supervised fine-tuning (SFT)
Data Fields
prompt: The commit message describing the change
response: The git patch/diff showing the actual code changes… See the full description on the dataset page: https://huggingface.co/datasets/archit11/hyperswitch-rust-commits.hyperswitch-rust-commitsv5
Rust Commit Dataset - Hyperswitch
Dataset Description
This dataset contains Rust commit messages paired with their corresponding code patches from the Hyperswitch repository.
Dataset Summary
Total Examples: 2277
Language: Rust
Source: Hyperswitch GitHub repository
Format: Prompt-response pairs for supervised fine-tuning (SFT)
Data Fields
prompt: The commit message describing the change
response: The git patch/diff showing the actual code changes… See the full description on the dataset page: https://huggingface.co/datasets/archit11/hyperswitch-rust-commitsv5.hyperswitch-product-code-mapping-v3
Rust Commit Dataset - Hyperswitch
Dataset Description
This dataset contains Rust commit messages paired with their corresponding code patches from the Hyperswitch repository.
Dataset Summary
Total Examples: 1801
Language: Rust
Source: Hyperswitch GitHub repository
Format: Prompt-response pairs for supervised fine-tuning (SFT)
Data Fields
prompt: The commit message describing the change
response: The git patch/diff showing the actual code changes… See the full description on the dataset page: https://huggingface.co/datasets/archit11/hyperswitch-product-code-mapping-v3.hyperswitch-filenames
Hyperswitch Dataset with Extracted Filenames
Dataset Description
This dataset contains git patches from the Hyperswitch repository with extracted filenames for each patch.
Dataset Summary
Total Examples: 1892
Language: Rust (primary)
Source: Hyperswitch GitHub repository
Enhanced with: Extracted filenames from git patches
Data Fields
The dataset includes all original fields from juspay/hyperswitch plus:
filenames: List of file paths extracted from… See the full description on the dataset page: https://huggingface.co/datasets/archit11/hyperswitch-filenames.hyperswitch-product-code-mapping
Rust Commit Dataset - Hyperswitch
Dataset Description
This dataset contains Rust commit messages paired with their corresponding code patches from the Hyperswitch repository.
Dataset Summary
Total Examples: 1801
Language: Rust
Source: Hyperswitch GitHub repository
Format: Prompt-response pairs for supervised fine-tuning (SFT)
Data Fields
prompt: The commit message describing the change
response: The git patch/diff showing the actual code changes… See the full description on the dataset page: https://huggingface.co/datasets/archit11/hyperswitch-product-code-mapping.hyperswitch-product-code-mapping2
Rust Commit Dataset - Hyperswitch
Dataset Description
This dataset contains Rust commit messages paired with their corresponding code patches from the Hyperswitch repository.
Dataset Summary
Total Examples: 1801
Language: Rust
Source: Hyperswitch GitHub repository
Format: Prompt-response pairs for supervised fine-tuning (SFT)
Data Fields
prompt: The commit message describing the change
response: The git patch/diff showing the actual code changes… See the full description on the dataset page: https://huggingface.co/datasets/archit11/hyperswitch-product-code-mapping2.hypernet_validated
Subject Models for Interpretability Training
These examples are intended for training an interpreter to:
Identify what patterns a model classifies as positive based on an activation signature, with examples of: trained model + signature → pattern identification.
Signature Extraction
Neuron Profile Methods
mean, std, fourier, input_correlations, pre_activation_mean, pre_activation_std
Prompt Format
separate
Signature Dataset… See the full description on the dataset page: https://huggingface.co/datasets/maximuspowers/hypernet_validated.hyperswitch-rust-commitsv4
Rust Commit Dataset - Hyperswitch
Dataset Description
This dataset contains Rust commit messages paired with their corresponding code patches from the Hyperswitch repository.
Dataset Summary
Total Examples: 328
Language: Rust
Source: Hyperswitch GitHub repository
Format: Prompt-response pairs for supervised fine-tuning (SFT)
Data Fields
prompt: The commit message describing the change
response: The git patch/diff showing the actual code changes… See the full description on the dataset page: https://huggingface.co/datasets/archit11/hyperswitch-rust-commitsv4.