datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
stem-reasoning-complex
STEM-Reasoning-Complex: High-Fidelity Scientific CoT Dataset
1. Dataset Summary
STEM-Reasoning-Complex is a curated collection of 118.255 high-quality samples designed for Supervised Fine-Tuning (SFT) and alignment of Large Language Models. The dataset focuses on four core disciplines: Biology, Mathematics, Physics, and Chemistry.
Unlike standard QA datasets, each entry provides a structured Chain-of-Thought (CoT) reasoning process, enabling models to learn… See the full description on the dataset page: https://huggingface.co/datasets/galaxyMindAiLabs/stem-reasoning-complex.stem-reasoning-complex
STEM-Reasoning-Complex: High-Fidelity Scientific CoT Dataset
1. Dataset Summary
STEM-Reasoning-Complex is a curated collection of 118.225 high-quality samples designed for Supervised Fine-Tuning (SFT) and alignment of Large Language Models. The dataset focuses on four core disciplines: Biology, Mathematics, Physics, and Chemistry.
Unlike standard QA datasets, each entry provides a structured Chain-of-Thought (CoT) reasoning process, enabling models to learn "internal… See the full description on the dataset page: https://huggingface.co/datasets/introvoyz041/stem-reasoning-complex.reasoning-sft-stem-reasoning-complex-FineProofs-126K
reasoning-sft-stem-reasoning-complex-FineProofs-126K
Combined converted dataset from two sources:
lm-provers/FineProofs-SFT (all config, 7.78k) — Mathematical Olympiad problems with chain-of-thought reasoning distilled from DeepSeek-Math-V2
galaxyMindAiLabs/stem-reasoning-complex (~118k) — STEM reasoning across Biology, Mathematics, Physics, Chemistry and Code
Format
Each row has three columns:
input — list of dicts [{"role": "user", "content": "..."}]
response —… See the full description on the dataset page: https://huggingface.co/datasets/AmanPriyanshu/reasoning-sft-stem-reasoning-complex-FineProofs-126K.atomic-formal-reasoning-complex
Atomic Formal Reasoning — Complex Numbers
Overview
This dataset contains high-quality Lean 4 formal proofs of complex number theorems, written in an explicit pedagogical calc-chain style. Each proof is fully verified, step-by-step, with no opaque tactics (simp, ring, omega are avoided). Every reasoning step is named and justified.
This is process supervision data — not just final answers. Each entry exposes the full reasoning chain, making it ideal for training models… See the full description on the dataset page: https://huggingface.co/datasets/7rouz/atomic-formal-reasoning-complex.