Last released Mar 10, 2026
Decentralized inference network CLI for automated mathematical research via Lean code generation
Supported by