Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience Paper • 2512.17260 • Published 13 days ago • 48
VibeVoice Collection Frontier Text-to-Speech Models https://microsoft.github.io/VibeVoice/ • 8 items • Updated 27 days ago • 184
Heimdall: test-time scaling on the generative verification Paper • 2504.10337 • Published Apr 14 • 33