strickvl/constraint-sat-1000 download history
strickvl/constraint-sat-1000 is a zero shot classification dataset on the Hugging Face Hub. In the last 30 days it was downloaded 59 times (19 in the last 7 days), and 1,085 times in total. It ranks #164,922 among datasets by monthly downloads.
Constraint Satisfaction Reasoning Dataset A dataset for training and evaluating logical reasoning capabilities in LLMs through constraint satisfaction problems. 📝 Dataset Overview Domain: Multi-step logical reasoning / constraint satisfaction / schedulingSize: 1000 exampl
Open strickvl/constraint-sat-1000 on Hugging Face
Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.