rodriguescarson/adaption-logic-step-verification-12k
Formal Logic Step Verification Single-step deductive reasoning: given premises and a claimed step, explain whether it follows and end with a verdict. Covers six valid forms (modus ponens and tollens, hypothetical and disjunctive syllogism, contraposition, universal chaining) and six named fallacies. Rows 12,000 Domain formal logic and reasoning Format data.parquet, one row per example Licence cc-by-4.0 Built for supervised fine-tuning (SFT) experiments on… See the full description on the dataset page: https://huggingface.co/datasets/rodriguescarson/adaption-logic-step-verification-12k.
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