curie3170/sat_cnf_autobatch_assumptions_topk_0.005_5SAT download history

curie3170/sat_cnf_autobatch_assumptions_topk_0.005_5SAT is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 807 times (3 in the last 7 days), and 3,542 times in total. It ranks #22,728 among datasets by monthly downloads.

Open curie3170/sat_cnf_autobatch_assumptions_topk_0.005_5SAT on Hugging Face

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