Model: rkumar1999/gpt-oss-20b-deepseek-prover
Author: rkumar1999
Pipeline: text-generation
Library: transformers
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 models (adapter): 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
Likes: 0 | All-time downloads: 0
Created: 2025-09-08 02:58:14