TY  - RPRT
TI  - LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
AU  - Jianing Wang
AU  - Jianfei Zhang
AU  - Qi Guo
AU  - Linsen Guo
AU  - Rumei Li
AU  - Chao Zhang
AU  - Chong Peng
AU  - Cunguang Wang
AU  - Dengchang Zhao
AU  - Jiarong Shi
AU  - Jingang Wang
AU  - Liulin Feng
AU  - Mengxia Shen
AU  - Qi Li
AU  - Shengnan An
AU  - Shun Wang
AU  - Wei Shi
AU  - Xiangyu Xi
AU  - Xiaoyu Li
AU  - Xuezhi Cao
AU  - Yi Lu
AU  - Yunke Zhao
AU  - Zhengyu Chen
AU  - Zhimin Lin
AU  - Wei Wang
AU  - Peng Pei
AU  - Xunliang Cai
PY  - 2026
UR  - https://arxiv.org/abs/2603.21065
ID  - 2603.21065
ER  -