--- license: apache-2.0 datasets: - fka/awesome-chatgpt-prompts metrics: - accuracy base_model: - deepseek-ai/DeepSeek-Prover-V2-671B new_version: deepseek-ai/DeepSeek-Prover-V2-671B pipeline_tag: text-generation library_name: adapter-transformers ---