rodriguescarson/adaption-logic-hard-12k download history

rodriguescarson/adaption-logic-hard-12k is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 61 times (27 in the last 7 days), and 61 times in total. It ranks #161,090 among datasets by monthly downloads.

Formal Logic Multi-Step Verification Harder deductive-reasoning items: three- and four-link conditional chains, naming the rule or fallacy a step uses, supplying a missing premise, and finding the first invalid step in a short derivation. Rows 12,000 Domain formal logic

Open rodriguescarson/adaption-logic-hard-12k on Hugging Face

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