conftrace_

Zi-Hao Bo

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) Rinyoichi Takezoe (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