rodriguescarson/adaption-logic-step-verification-12k-c3 download history

rodriguescarson/adaption-logic-step-verification-12k-c3 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 62 times (33 in the last 7 days), and 62 times in total. It ranks #159,286 among datasets by monthly downloads.

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 n

Open rodriguescarson/adaption-logic-step-verification-12k-c3 on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.