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-reasoningadaption-formal-reasoning-step-verification
This dataset is a remastered version prepared using Adaption's Adaptive Data platform.
adaption-formal_reasoning_step_verification
This dataset contains pairs of prompts and completions for verifying individual steps in formal logical reasoning solutions. Each sample presents a set of logical facts, a hypothesis, and a candidate inference step, requiring the model to determine if the step is logically correct or incorrect. The content focuses on first-order logic notation… See the full description on the dataset page: https://huggingface.co/datasets/Fernandosr85/adaption-formal-reasoning-step-verification.math500_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