Mathematics
Category
Models
| Model | Company | Family | Released | Modality | Open source | API | Status |
|---|---|---|---|---|---|---|---|
 Kimina-ProverFamily | Moonshot AI | — | Mar 1, 2025 | — | Yes | — | active |
Category
| Model | Company | Family | Released | Modality | Open source | API | Status |
|---|---|---|---|---|---|---|---|
| Kimina-ProverFamily | Moonshot AI | — | Mar 1, 2025 | — | Yes | — | active |