Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
All Papers
0 / 0 papers shown
Title
Home
Papers
2509.00930
Cited By
SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
31 August 2025
Yanxiao Zhao
Yaqian Li
Zihao Bo
Rinyoichi Takezoe
Haojia Hui
Mo Guang
Lei Ren
Xiaolin Qin
Kaiwen Long
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
HuggingFace (1 upvotes)
Github (3★)
Papers citing
"SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs"
0 / 0 papers shown
Title
No papers found