Papers
Communities
Organizations
Events
Blog
Pricing
Feedback
Contact Sales
Search
Open menu
Home
Papers
2508.17153
Cited By
Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models
23 August 2025
Tharindu Madusanka
Ian Pratt-Hartmann
Riza Batista-Navarro
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models"
1 / 1 papers shown
Title
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
Ke Wang
ReLM
LRM
119
7
0
20 May 2025
1
