LLM4Code/SATBench download history

LLM4Code/SATBench is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 284 times (28 in the last 7 days), and 2,344 times in total. It ranks #51,582 among datasets by monthly downloads.

SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas Paper: https://arxiv.org/abs/2505.14615 Dataset Summary Size: 2,100 puzzles Format: JSONL Data Fields Each JSON object has the following fields: Field Name Descri

Models trained on SATBench

3 models list it as training data.

• groc/recursive-sat-qwen2.5-1.5b 23 downloads in 30 days
• duanyang25/Finetuned-SFT-598B-Qwen3.5-0.8B 10 downloads in 30 days
• duanyang25/Finetuned-RL-GRPO-598B-Qwen3.5-0.8B 4 downloads in 30 days

Open LLM4Code/SATBench on Hugging Face

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