--- license: apache-2.0 datasets: - nvidia/OpenMathReasoning metrics: - accuracy base_model: - deepseek-ai/DeepSeek-Prover-V2-671B new_version: deepseek-ai/DeepSeek-Prover-V2-671B pipeline_tag: text-to-speech library_name: asteroid ---