# 數學邏輯優化

OpenThaiGPT R1 32b是一款320億參數的泰語推理模型，在泰語數學、邏輯和代碼推理任務中表現優異，性能超越更大規模的模型。

這是一個Qwen2.5 MOE（專家混合）模型，由兩個Qwen 2.5 DeepSeek（審查版/普通版和無審查版）1.5B模型組成，形成一個4B模型，其中無審查版本的DeepSeek Qwen 2.5 1.5B主導模型行為。

Phi-3-Medium-128K-Instruct是一個擁有140億參數的輕量級開源模型，專注於高質量與強推理能力，支持128K上下文長度。

Phi-3-Mini-4K-Instruct是一個擁有38億參數的輕量級、前沿開源模型，專注於高質量和推理密集的特性，適用於英語的商業和研究用途。

UNA-cybertron-7b-v3是由OMA團隊開發的7B參數大語言模型，採用UNA（統一神經對齊）技術訓練，在數學、邏輯和推理方面表現卓越。