# Mistral微調

基於Mistral-7B微調的文本轉SQL模型，可將自然語言查詢轉換為SQL語句

Buddhi-128k-Chat 是一款具有 128K 上下文窗口的通用首款聊天模型，基於 Mistral 7B Instruct 進行了精細微調，並通過創新的 YaRN 技術優化，可處理長達 128,000 個標記的擴展上下文長度。

本模型是形式化定理證明領域的一項實驗，專門用於生成和解釋Coq代碼。通過利用源自10,000多個Coq源文件的綜合數據集，在理解Coq特有的語法和語義方面展現出更強的能力，從而推動自動定理證明的重大進展。

FollowIR-7B 是一個基於 Mistral-7B-Instruct-v0.2 微調的指令檢索模型，專注於檢索任務中的重排序功能。

基於Mistral-7B微調的大型語言模型安全衛士，作為問答對安全性評估的分類器

基於Mistral-7B微調的函數調用模型，支持自然語言理解和函數調用功能。

基於Mistral-7B-Instruct-v0.2微調的語言模型，專為生成指導性敘事文本設計，特別聚焦於故事創作領域。

基於Mistral 7B的大型開源荷蘭語對話模型，通過額外訓練100億荷蘭語文本標記顯著提升荷蘭語能力

PiVoT是基於Mistral 7B微調的模型，從Synatra v0.3 RP衍生出的變體，展現出不錯的性能表現。