--- 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 ---