Leanstral 1.5: Доказова насиченість для кожного

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