Ropedia W0: Scaling Loco-Manipulation World Models across Embodiments with Human Experience Paper • 2610.26855 • Published 3 days ago • 187
EdgeKernelBench: Unified LLM-Driven Kernel Generation for Edge Backends Paper • 2610.24648 • Published 5 days ago • 13
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization Paper • 2606.31002 • Published 7 days ago • 7
Unsupervised Tool Evolution for Coding Agents in Data-Lake Analytics Paper • 2610.27327 • Published 3 days ago • 11