Mistral AI выпускает Leanstral 1.5: бесплатную модель для формальной верификации с рекордными результатами
Mistral
OpenAI
Mistral AI выпустила Leanstral 1.5 — бесплатную модель с лицензией Apache-2.0, имеющую 119 миллиардов параметров всего и 6 миллиардов активных параметров, которая достигла передовых результатов в формальной верификации. Она насыщает бенчмарк miniF2F, решает 587 из 772 задач PutnamBench и устанавливает новые рекорды на FATE-H (87%) и FATE-X (34%). Модель также выявляет реальные ошибки в репозиториях с открытым исходным кодом.
Mistral AI выпустила Leanstral 1.5 — бесплатную модель с лицензией Apache-2.0, содержащую 119 миллиардов параметров, из которых активны только 6 миллиардов, что обеспечивает значительный прирост производительности в формальной верификации. Модель насыщает miniF2F, решает 587 из 672 задач PutnamBench и достигает передовых результатов на FATE-H (87%) и FATE-X (34%). Обучение включало промежуточное
Показать ещё ↓
Источник: Mistral AI —
оригинал