@misc{indiciae4fc06b4d788e,
  title = {Learning to Reason with Insight for Informal Theorem Proving},
  author = {Yunhe Li and Hao Shi and Bowen Deng and Wei Wang and Mengzhe Ruan and Hanxu Hou and Zhongxiang Dai and Siyang Gao and Chao Wang and Shuang Qiu and Linqi Song},
  year = {2026},
  url = {https://arxiv.org/abs/2604.16278},
  note = {Source identifier: 2604.16278}
}