Hugging Face model: tcwong/reprover_by_file
Author: tcwong
Created: 2024-09-08 23:36:07
Last modified: 2024-09-09 02:22:08
Library: peft
Likes: 0 | Downloads: 4
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