---
license: mit
datasets:
- nvidia/OpenMathReasoning
language:
- de
- en
metrics:
- bleu
base_model:
- deepseek-ai/DeepSeek-Prover-V2-671B
new_version: deepseek-ai/DeepSeek-Prover-V2-671B
library_name: asteroid
tags:
- code
- music
- art
- chemistry
---