Vidu S1: A Real-Time Interactive Video Generation Model Paper • 2607.03118 • Published 25 days ago • 144
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory Paper • 2606.06523 • Published Jun 2 • 7
Nemotron-Labs-Diffusion Collection A Tri-Mode Language Model Family Unifying Autoregressive, Diffusion, and Self-Speculation Decoding • 7 items • Updated 11 days ago • 52