SavannaCecchettini

SavannaCecchettini

4

AI & ML interests

None yet

Recent Activity

upvoted a paper about 18 hours ago

Ropedia W0: Scaling Loco-Manipulation World Models across Embodiments with Human Experience

upvoted a paper about 18 hours ago

EdgeKernelBench: Unified LLM-Driven Kernel Generation for Edge Backends

upvoted a paper about 18 hours ago

Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization

View all activity

Organizations

None yet

SavannaCecchettini 's datasets

None public yet