@misc{indiciae7f4438b992a7,
  title = {SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs},
  author = {Yanxiao Zhao and Yaqian Li and Zihao Bo and Rinyoichi Takezoe and Haojia Hui and Mo Guang and Lei Ren and Xiaolin Qin and Kaiwen Long},
  year = {2026},
  doi = {10.18653/v1/2026.acl-long.96},
  url = {https://arxiv.org/abs/2509.00930},
  note = {Source identifier: 2509.00930}
}