LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wang, Jianing, Zhang, Jianfei, Guo, Qi, Guo, Linsen, Li, Rumei, Zhang, Chao, Peng, Chong, Wang, Cunguang, Zhao, Dengchang, Shi, Jiarong, Wang, Jingang, Feng, Liulin, Shen, Mengxia, Li, Qi, An, Shengnan, Wang, Shun, Shi, Wei, Xi, Xiangyu, Li, Xiaoyu, Cao, Xuezhi, Lu, Yi, Zhao, Yunke, Chen, Zhengyu, Lin, Zhimin, Wang, Wei, Pei, Peng, Cai, Xunliang
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence Computation and Language
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/2603.21065