Hugging Face model: tcwong/reprover_random
Author: tcwong
Created: 2024-09-08 23:40:23
Last modified: 2024-09-09 00:06:22
Library: peft
Likes: 0 | Downloads: 2
Tags: peft, safetensors, arxiv:1910.09700, base_model:kaiyuy/leandojo-lean4-tacgen-byt5-small, base_model:adapter:kaiyuy/leandojo-lean4-tacgen-byt5-small, region:us
Base model relation: adapter
Base models: id: kaiyuy/leandojo-lean4-tacgen-byt5-small
Card metadata:
base_model: kaiyuy/leandojo-lean4-tacgen-byt5-small
library_name: peft