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