@misc{indiciae3534a31378ab,
  title = {Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification},
  author = {Chuxue Cao and Jinluan Yang and Haoran Li and Kunhao Pan and Zijian Zhao and Zhengyu Chen and Yuchen Tian and Lijun Wu and Conghui He and Sirui Han and Yike Guo},
  year = {2026},
  url = {https://arxiv.org/abs/2601.22642},
  note = {Source identifier: 2601.22642}
}