Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience Paper • 2512.17260 • Published 17 days ago • 48
villa-X: Enhancing Latent Action Modeling in Vision-Language-Action Models Paper • 2507.23682 • Published Jul 31, 2025 • 23
Heimdall: test-time scaling on the generative verification Paper • 2504.10337 • Published Apr 14, 2025 • 33
HybriDNA: A Hybrid Transformer-Mamba2 Long-Range DNA Language Model Paper • 2502.10807 • Published Feb 15, 2025 • 3
NatureLM: Deciphering the Language of Nature for Scientific Discovery Paper • 2502.07527 • Published Feb 11, 2025 • 20