datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
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.llm-complex-reasoning-train-qwen2-72b-instruct-correct
Note
Data Seed from 基于封闭世界假设的复杂逻辑推理
Generate from Qwen2-72B-Instruct with prompt
train.jsonl for 推理答案和题目答案一致, no_train.jsonl推理答案和题目答案不一致
注: 题目答案不一定正确
complex_multihop_clinical_reasoning_v5multi_domain_complex_reasoning_with_constraints_v2