@inproceedings{wei-etal-2025-satbench,
    title = "{SATB}ench: Benchmarking {LLM}s' Logical Reasoning via Automated Puzzle Generation from {SAT} Formulas",
    author = "Wei, Anjiang  and
      Wu, Yuheng  and
      Wan, Yingjia  and
      Suresh, Tarun  and
      Tan, Huanmi  and
      Zhou, Zhanke  and
      Koyejo, Sanmi  and
      Wang, Ke  and
      Aiken, Alex",
    editor = "Christodoulopoulos, Christos  and
      Chakraborty, Tanmoy  and
      Rose, Carolyn  and
      Peng, Violet",
    booktitle = "Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-emnlp/2025.emnlp-main.1716/",
    pages = "33820--33837",
    ISBN = "979-8-89176-332-6"
}