# 記号計算

Phi-4-mini-reasoningは合成データに基づく軽量オープンモデルで、高品質で密度の高い推論データに焦点を当て、数学的推論能力を強化するためにさらに微調整されています。

Phi-4-mini-reasoning は軽量なオープンソースモデルで、数学推論タスクに特化しており、128Kトークンのコンテキスト長をサポートします。

Phi-4-mini-reasoningは、高品質で推論が密集したデータに焦点を当てた軽量のオープンソースモデルで、さらに微調整されてより高度な数学推論能力を獲得しています。

DeepSeekMathは数学問題解決に特化した大規模言語モデルで、強力な数学的推論と計算能力を備えています。