formal-reasoning
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_logic