560B MoE model for Lean4 formal theorem proving with tool-integrated reasoning.
Released
Mar 20, 2026
Context window
Not disclosed
Max output
Not disclosed
Parameters
560B
Input price
Not disclosed
Output price
Not disclosed
Prices are first-party list prices in USD at the standard tier. Last verified Oct 30, 2026.
Pricing
No first-party API. This is an open-weights release you can run yourself.
Specifications
- Developer
- Meituan
- Model type
- Text LLM
- Architecture
- MoE
- Parameters
- 560B
- Input
- Text
- Output
- Text
- Knowledge cutoff
- Not disclosed
- License
- MIT License
- API access
- No first-party API
- Capabilities
- Reasoning Tool use