Reasoning
Category
Models
| Model | Company | Family | Released | Modality | Open source | API | Status |
|---|---|---|---|---|---|---|---|
 Kimina-ProverFamily | Moonshot AI | — | Mar 1, 2025 | — | Yes | — | active |
 Fireworks f1Family | Fireworks AI | — | Nov 1, 2024 | — | — | — | preview |
Category
| Model | Company | Family | Released | Modality | Open source | API | Status |
|---|---|---|---|---|---|---|---|
| Kimina-ProverFamily | Moonshot AI | — | Mar 1, 2025 | — | Yes | — | active |
| Fireworks f1Family | Fireworks AI | — | Nov 1, 2024 | — | — | — | preview |