SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhao, Yanxiao, Li, Yaqian, Bo, Zihao, Takezoe, Rinyoichi, Hui, Haojia, Guang, Mo, Ren, Lei, Qin, Xiaolin, Long, Kaiwen
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2509.00930