Sagicc/nanoGentzen
nanoGentzen Synthetic Deduction Dataset (200k Transitions) The nanoGentzen Dataset is a formal synthetic dataset designed to train Policy-Value Transformers for automated theorem proving in Intuitionistic Logic (LI) and Classical Logic (LK via Glivenko's Theorem) using Gentzen Sequent Calculus. Each record represents a single state-action derivation transition along an AND-OR proof search tree, providing multi-task supervision for inference rule selection, antecedent premise… See the full description on the dataset page: https://huggingface.co/datasets/Sagicc/nanoGentzen.
Conversations for this repository live on Hugging Face.
CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face