AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
$V_{0.5}$: Generalist Value Model as a Prior for Sparse RL Rollouts
