Deepseek Math 7b Rl
DeepSeekMathは、数学的問題解決に特化した大規模言語モデルで、複雑な数学的推論や計算タスクを処理できます。
ダウンロード数 790
リリース時間 : 2/5/2024
モデル概要
DeepSeekMathは、大規模言語モデルに基づく数学専用モデルで、段階的な推論による数学的問題解決が得意で、最終的な答えをLaTeXの\boxed{}形式でフォーマットすることをサポートしています。
モデル特徴
数学専用推論
数学的問題に特化して最適化されており、複雑な段階的推論や計算が可能
LaTeX回答フォーマット
最終的な答えをLaTeXの\boxed{}形式で自動フォーマットすることをサポート
思考連鎖プロンプト
特定の思考連鎖プロンプト形式を使用することで最適な推論効果が得られる
商用利用サポート
モデルライセンスは商用利用を許可している
モデル能力
数学的問題解決
段階的推論
積分計算
代数演算
数学的証明
使用事例
教育
数学宿題の補助
学生が数学の宿題で直面する複雑な問題を解決するのを支援
詳細な解答手順と最終的な答えを提供
数学コンテストの準備
数学コンテストの参加者に問題解決のアイデアと検証を提供
複数の解法と検証プロセスを提示
研究
数学式の導出
研究者が数学式を導出し検証するのを支援
厳密な導出プロセスと結果の検証を提供
おすすめ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