Leanstral 1.5: Tính phong phú của chứng minh dành cho mọi người

robot
Đang tạo bản tóm tắt
ME AI Tin tức, hôm nay Mistral AI đã phát hành Leanstral 1.5, một mô hình xác minh hình thức mã nguồn mở với giấy phép Apache-2.0, tổng tham số 119B chỉ có 6B hoạt động. Trên miniF2F đạt độ bão hòa 100%, PutnamBench giải 587/672 bài, FATE-H (87%) và FATE-X (34%) đạt SOTA. Quá trình huấn luyện trải qua mid-training, SFT và học tăng cường dựa trên CISPO. Có khả năng chứng minh theo kiểu tác tử, phát hiện 5 lỗi chưa biết trong 57 kho mã nguồn mở. Mô hình đã được mở sử dụng qua HuggingFace và API miễn phí. 🔗 Đọc bài gốc:
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
  • Phần thưởng
  • Bình luận
  • Đăng lại
  • Retweed
Bình luận
Thêm một bình luận
Thêm một bình luận
Không có bình luận
  • Đã ghim