Leanstral 1.5: Доказательная доступность для всех

robot
Генерация тезисов в процессе
ME AI сообщение: Mistral AI сегодня выпустила Leanstral 1.5 — открытую верификационную модель с лицензией Apache-2.0, всего 119B параметров, из которых активны только 6B. Достигнута 100% насыщенность на miniF2F, решено 587/672 задач PutnamBench, установлены SOTA на FATE-H (87%) и FATE-X (34%). Обучение включало mid-training, SFT и обучение с подкреплением на основе CISPO. Модель обладает способностью агентного доказательства, найдено 5 неизвестных багов в 57 открытых репозиториях. Модель доступна через HuggingFace и бесплатный API. 🔗 Читать оригинал:
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • комментарий
  • Репост
  • Поделиться
комментарий
Добавить комментарий
Добавить комментарий
Нет комментариев
  • Закреплено