Wang, J., Zhang, J., Guo, Q., Guo, L., Li, R., Zhang, C., . . . Cai, X. (2026). LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning.
Citazione stile Chigago Style (17a edizione)Wang, Jianing, et al. LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning. 2026.
Citatione MLA (9a ed.)Wang, Jianing, et al. LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.