Tech Meridian ← К СУЩНОСТЯМ
EN

КОМПАНИЯ · ENTITY #3060

CISPO

Хронология связанных событий, источники и контекст из новостной базы.

ХРОНОЛОГИЯ СОБЫТИЙ

2

MODELS · 1 ИСТОЧН. · Mistral AI

Robostral представила Robostral Navigate — 8B модель навигации с одной RGB-камерой

Robostral представила Robostral Navigate — 8B модель для навигации, использующую только одну RGB-камеру и текстовые инструкции для управления роботами. Компания сообщает о 76,6% успешности на R2R-CE validation unseen (79,4% validation seen), утверждает превосходство над прежними системами с одной камерой и многосенсорными подходами, и пишет, что модель обучалась полностью в симуляции на ~2,4 млн траекторий в 350 тыс. сцен с эффективным префикс-кешированием и онлайн-RL (CISPO).

8.0

MODELS · 1 ИСТОЧН. · Mistral AI

Leanstral 1.5: открытая модель с 6B активных параметров продвигает формальную верификацию

Leanstral 1.5 — открытая модель под Apache‑2.0 (119B всего, 6B активных параметров) для доказательств в Lean 4; она обучена через mid‑training, supervised fine‑tuning и RL с CISPO и доступна через Hugging Face и бесплатный API. Модель полностью проходит miniF2F, решает 587/672 задач PutnamBench, достигает 87% на FATE‑H и 34% на FATE‑X, хорошо масштабируется с бюджетом токенов, повышает показатели FLTEval и обнаружила 5 ранее неизвестных ошибок в 57 репозиториях.

8.0