LLM4Code/SATBench
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 Description dims List of integers describing the dimensional structure of variables num_vars Total number of variables num_clauses Total number of clauses in the CNF formula… See the full description on the dataset page: https://huggingface.co/datasets/LLM4Code/SATBench.
| Author / organization | LLM4Code |
|---|---|
| License (as declared) | apache-2.0 |
| Downloads | 178 (as reported by Hugging Face) |
| Likes | 4 |
| Created | 26 May 2025 |
| Last updated at source | 26 December 2025 |
Recent changes
- 16 Oct 2026 Description: 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 → 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
Changes detected by Silytics between refreshes of the source.
More from LLM4Code
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.