AIbase
JA
モデル選定
タグ
定理証明

# 定理証明

Internlm2 Math Plus 7b
その他
InternLM-Math-Plus は最先端のバイリンガルオープンソース数学推論大規模言語モデルで、問題解決、証明、検証、拡張能力を備えています。
大規模言語モデル Transformers 複数言語対応
I
internlm
164
11
Llemma 34b
Llemma 34Bは数学分野に特化した言語モデルで、Code Llama 34Bの重みを初期値として使用し、Proof-Pile-2データセットで500億トークン訓練されました。
大規模言語モデル Transformers 英語
L
EleutherAI
60
99
Llemma 7b
Llemma 34Bは数学分野に特化した言語モデルで、Code Llama 34Bの重みを初期値としてProof-Pile-2データセットで訓練されました。
大規模言語モデル Transformers 英語
L
EleutherAI
3,668
106
Leandojo Lean4 Tacgen Byt5 Small
MIT
LeanDojo は、検索技術を強化した言語モデルに基づく定理証明システムで、言語モデルと検索技術を組み合わせることで自動定理証明の能力を向上させることを目的としています。
分子モデル Transformers
L
kaiyuy
369
13
おすすめ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アーキテクチャに基づく中国語抽出型QAモデルで、与えられたテキストから回答を抽出するタスクに適しています。
質問応答システム 中国語
R
uer
2,694
98
AIbase
未来を切り開く、あなたのAIソリューション知識ベース
English简体中文繁體中文にほんご
© 2025AIbase