Hugging Face model: tcwong/reprover_proving_random
Author: tcwong
Created: 2024-09-08 23:55:43
Last modified: 2024-09-09 03:13:58
Library: peft
Likes: 0 | Downloads: 1
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