AIbase
首頁
AI產品庫
模型廣場
MCP服務庫
AI資訊
TW
模型選型
標籤
Lean4數學推理

# Lean4數學推理

Kimina Prover Distill 1.7B
Apache-2.0
由 Numina 項目和 Kimi 團隊開發的定理證明模型,專注於提升在 Lean 4 中的競賽式問題解決能力。
大型語言模型 Transformers 英語
K
AI-MO
4,372
5
Kimina Prover Distill 8B
Apache-2.0
Kimina-Prover-Distill-8B 是由 Project Numina 和 Kimi 團隊開發的定理證明模型,專注於 Lean 4 中的競賽風格問題解決能力。
大型語言模型 Transformers 英語
K
AI-MO
1,690
6
精選推薦AI模型
Llama 3 Typhoon V1.5x 8b Instruct
專為泰語設計的80億參數指令模型,性能媲美GPT-3.5-turbo,優化了應用場景、檢索增強生成、受限生成和推理任務
大型語言模型 Transformers 支持多種語言
L
scb10x
3,269
16
Cadet Tiny
Openrail
Cadet-Tiny是一個基於SODA數據集訓練的超小型對話模型,專為邊緣設備推理設計,體積僅為Cosmo-3B模型的2%左右。
對話系統 Transformers 英語
C
ToddGoldfarb
2,691
6
Roberta Base Chinese Extractive Qa
基於RoBERTa架構的中文抽取式問答模型,適用於從給定文本中提取答案的任務。
問答系統 中文
R
uer
2,694
98
AIbase
智啟未來,您的人工智能解決方案智庫
English简体中文繁體中文にほんご
© 2025AIbase