Chuxue Cao, Jinluan Yang, Haoran Li, Kunhao Pan, Zijian (Longino) ZHAO 赵子健, Zhengyu Chen, Yuchen Tian, Lijun Wu, Conghui He, Sirui Han, Yike Guo
(2026).
Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification.
In
under review.