metadata
license: artistic-2.0
base_model:
- deepseek-ai/DeepSeek-Prover-V2-671B
datasets:
- nvidia/Llama-Nemotron-Post-Training-Dataset
metrics:
- accuracy
new_version: deepseek-ai/DeepSeek-Prover-V2-671B
pipeline_tag: question-answering
library_name: adapter-transformers