AI & ML interests
None defined yet.
Recent Activity
Papers
LongCat-Next: Lexicalizing Modalities as Discrete Tokens
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
None defined yet.
LongCat-Next: Lexicalizing Modalities as Discrete Tokens
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning