LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning Paper • 2603.21065 • Published 10 days ago • 77
LongCat-Next: Lexicalizing Modalities as Discrete Tokens Paper • 2603.27538 • Published 3 days ago • 108
Running 3.76k The Ultra-Scale Playbook 🌌 3.76k The ultimate guide to training LLM on large GPU Clusters