activity
20232026
most citedRAIN: Your Language Models Can Align Themselves without Finetuning

7 citations · 14 across the 6 of their papers we have counts for

collaborators
Showing 2026 · cs.AIShow all

1 paper · 2 filters

cs.AI2026

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

Jianing Wang, Jianfei Zhang, Qi Guo +24

We introduce LongCat-Flash-Prover, a flagship 560-billion-parameter open-source Mixture-of- Experts (MoE) model that advances Native Formal Reasoning in Lean4 through agentic tool-…