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

rodriguescarson/adaption-logic-step-verification-12k-c5 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 65 times (30 in the last 7 days), and 65 times in total. It ranks #154,216 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-c5 on Hugging Face

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