saracandu/implications download history

saracandu/implications is a text classification dataset on the Hugging Face Hub. In the last 30 days it was downloaded 9 times (2 in the last 7 days), and 194 times in total. It ranks #602,773 among datasets by monthly downloads.

Implications Dataset Description Implications is a synthetic dataset of logical formulas with Boolean variables and logical operators (and, or, implies).Each example contains: facts: truth values assigned to variables (e.g., a is true, b is false, ...) formula: a linear form

Open saracandu/implications on Hugging Face

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