conftrace_

Rinyoichi Takezoe

1 papers · 2026–2026 · 1 conference · across top CS/AI conferences

Conferences

ACL (1)

Top co-authors

Kaiwen Long (1) Xiaolin Qin (1) Yaqian Li (1) Renlei (1) Mo Guang (1) Yanxiao Zhao (1) Haojia Hui (1) Zi-Hao Bo (1)

Keywords

logical reasoning (1) satisfiability solving (1) reinforcement fine-tuning (1)

Papers

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