LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning. - Jianing Wang; Jianfei Zhang; Qi Guo; Linsen Guo; Rumei Li; Chao Zhang; Chong Peng; Cunguang Wang; Dengchang Zhao; Jiarong Shi; Jingang Wang; Liulin Feng; et al. (CoRR, 2026)