Running Reproduction: Rotary Position Encodings for Graphs 🎯 Explore and sync your research logbook with an AI agent
Running Reproduction: Rotary Position Encodings for Graphs 🎯 Explore and sync your research logbook with an AI agent
Sleeping LeanMigrate OpenEnv Environment 🧠Step through Lean migration actions with code and proof inputs
Sleeping LeanMigrate OpenEnv Environment 🧠Step through Lean migration actions with code and proof inputs
💧 LFM2.5 Collection Collection of post-trained and base LFM2.5 models. • 14 items • Updated Jun 25 • 181