Hugging Face model: rkumar1999/gpt-oss-20b-deepseek-prover
Author: rkumar1999
Created: 2025-09-08 02:58:14
Last modified: 2025-09-08 05:52:15
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 0
Tags: transformers, safetensors, generated_from_trainer, proof, lora, text-generation, trl, sft, moe, lean4, peft, conversational, dataset:deepseek-ai/DeepSeek-Prover-V1, base_model:openai/gpt-oss-20b, base_model:adapter:openai/gpt-oss-20b, endpoints_compatible, region:us
Base model relation: adapter
Base models: id: openai/gpt-oss-20b
Card metadata:
base_model: openai/gpt-oss-20b
datasets: deepseek-ai/DeepSeek-Prover-V1
library_name: transformers
model_name: gpt-oss-20b-deepseek-prover
tags: generated_from_trainer, proof, lora, text-generation, trl, sft, moe, lean4, peft
licence: license