Hugging Face model: pqviet2208/goedel-grpo-lean4
Author: pqviet2208
Created: 2025-03-26 15:38:58
Last modified: 2025-03-26 15:42:56
Library: peft
Likes: 0 | Downloads: 1
Tags: peft, tensorboard, safetensors, arxiv:1910.09700, base_model:Goedel-LM/Goedel-Prover-SFT, base_model:adapter:Goedel-LM/Goedel-Prover-SFT, region:us
Base model relation: adapter
Base models: id: Goedel-LM/Goedel-Prover-SFT
Card metadata:
base_model: Goedel-LM/Goedel-Prover-SFT
library_name: peft