datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
formal-logic-reasoning-gliclass-2kTopoAlign_Pythonatomic-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.ConjectureBenchformal-logic-reasoning-gliclassreasoning_with_formal_logicgsm8k_formal_eval_Ministral-3-8B-Reasoning-2512math500_formal_eval_Phi-4-mini-reasoningmath500_formal_eval_Phi-4-mini-reasoning_prover_judgemath500_formal_eval_Ministral-3-8B-Reasoning-2512_provermath500_formal_eval_Ministral-3-8B-Reasoning-2512_prover_judgemath500_formal_eval_Ministral-3-8B-Reasoning-2512gsm8k_formal_eval_Ministral-3-8B-Reasoning-2512_prover_judgegsm8k_formal_eval_Phi-4-mini-reasoninggsm8k_formal_eval_Ministral-3-8B-Reasoning-2512_provermath500_formal_eval_Phi-4-mini-reasoning_prover