Sagicc/nanoGentzen-v2

nanoGentzen-v2 Synthetic Deduction Dataset (400k Transitions) The nanoGentzen-v2 Dataset is a formal synthetic corpus designed to train Policy-Value Transformers for automated theorem proving in Intuitionistic Propositional Logic (LI) using Gentzen Sequent Calculus. Scaled to 400,000 certified state-action derivation transitions, each record represents a discrete backward proof step along an AND-OR search tree. The dataset provides balanced multi-task supervision for inference… See the full description on the dataset page: https://huggingface.co/datasets/Sagicc/nanoGentzen-v2.