metadata
license: c-uda
datasets:
- zwhe99/DeepMath-103K
- nvidia/OpenMathReasoning
language:
- en
base_model:
- deepseek-ai/DeepSeek-Prover-V2-671B
new_version: deepseek-ai/DeepSeek-Prover-V2-671B
pipeline_tag: any-to-any
library_name: fastai
tags:
- not-for-all-audiences