Тег: Математика

Seed Prover 1.5 — специализированная система ByteDance Seed для формальных математических доказательств на языке Lean.

Phi-4 Mini Flash Reasoning — компактная модель Microsoft для быстрых рассуждений с гибридной архитектурой SambaY.

Phi-4 Mini Reasoning — компактная модель Microsoft на 3,8 млрд параметров для математики и логических задач.

Phi-4 Reasoning Plus — версия Microsoft с усиленной настройкой для многошаговых математических и научных задач.