TY  - RPRT
TI  - SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
AU  - Anjiang Wei
AU  - Yuheng Wu
AU  - Yingjia Wan
AU  - Tarun Suresh
AU  - Huanmi Tan
AU  - Zhanke Zhou
AU  - Sanmi Koyejo
AU  - Ke Wang
AU  - Alex Aiken
PY  - 2025
UR  - https://arxiv.org/abs/2505.14615
ID  - 2505.14615
ER  -