Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience Paper • 2512.17260 • Published Dec 19, 2025 • 51
VibeVoice Collection Frontier Text-to-Speech Models https://microsoft.github.io/VibeVoice/ • 9 items • Updated 12 days ago • 206
Heimdall: test-time scaling on the generative verification Paper • 2504.10337 • Published Apr 14, 2025 • 33