# 符號計算

Phi-4-mini-reasoning是一個基於合成數據的輕量級開放模型，專注於高質量、密集推理數據，並進一步微調以增強數學推理能力。

Phi-4-mini-reasoning 是一個輕量級的開源模型，專注於數學推理任務，支持128K令牌的上下文長度。

Phi-4-mini-reasoning是一個輕量級的開源模型，專注於高質量、密集推理的數據，並進一步微調以獲得更高級的數學推理能力。

DeepSeekMath是一個專注於數學問題解決的大語言模型，具備強大的數學推理和計算能力。