curie3170/sat_cnf_autobatch_assumptions_topk_0.005_4SAT download history

curie3170/sat_cnf_autobatch_assumptions_topk_0.005_4SAT is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 43 times (4 in the last 7 days), and 7,140 times in total. It ranks #207,284 among datasets by monthly downloads.

Open curie3170/sat_cnf_autobatch_assumptions_topk_0.005_4SAT on Hugging Face

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