TY  - RPRT
TI  - Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
AU  - Chuxue Cao
AU  - Jinluan Yang
AU  - Haoran Li
AU  - Kunhao Pan
AU  - Zijian Zhao
AU  - Zhengyu Chen
AU  - Yuchen Tian
AU  - Lijun Wu
AU  - Conghui He
AU  - Sirui Han
AU  - Yike Guo
PY  - 2026
UR  - https://arxiv.org/abs/2601.22642
ID  - 2601.22642
ER  -