Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2505.14615
Cited By
SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
20 May 2025
Anjiang Wei
Yuheng Wu
Yingjia Wan
Tarun Suresh
Huanmi Tan
Zhanke Zhou
Sanmi Koyejo
Ke Wang
Alex Aiken
ReLM
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas"
Title
No papers
