@misc{indiciaef241b85782fd,
  title = {LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning},
  author = {Jianing Wang and Jianfei Zhang and Qi Guo and Linsen Guo and Rumei Li and Chao Zhang and Chong Peng and Cunguang Wang and Dengchang Zhao and Jiarong Shi and Jingang Wang and Liulin Feng and Mengxia Shen and Qi Li and Shengnan An and Shun Wang and Wei Shi and Xiangyu Xi and Xiaoyu Li and Xuezhi Cao and Yi Lu and Yunke Zhao and Zhengyu Chen and Zhimin Lin and Wei Wang and Peng Pei and Xunliang Cai},
  year = {2026},
  url = {https://arxiv.org/abs/2603.21065},
  note = {Source identifier: 2603.21065}
}