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