Cite
Notes
Only stored in your browser.
Attribution
LongCat-Flash-Thinking-2601 Technical Report
arXiv 2026
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
from 2 papers
Chao Zhang
Cunguang Wang
Dengchang Zhao
Jianfei Zhang
Jianing Wang
Jingang Wang
Linsen Guo
Mengxia Shen
Peng Pei
Rumei Li