vix.ing · top · new · best · stats · spec

Xiaolin Qin

  1. SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
    2025/08/31 by Yanxiao Zhao, Zhao, Yanxiao, Yaqian Li +15 · 1 citation
    #cs.AI #cs.LG #cs.LO