SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas

Anjiang Wei, Yuheng Wu, Yingjia Wan, Tarun Suresh, Huanmi Tan, Zhanke Zhou, Sanmi Koyejo, Ke Wang, Alex Aiken
November, 2025
Code arxiv
Type
Conference paper
Publication
EMNLP 2025
Yingjia Wan
Yingjia Wan
(I also go by ‘Alisa’ a lot.)