Model: tcwong/reprover_proving_random
Author: tcwong
Library: peft
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 models (adapter): id: kaiyuy/leandojo-lean4-tacgen-byt5-small
Card metadata: base_model: kaiyuy/leandojo-lean4-tacgen-byt5-small
library_name: peft
Likes: 0 | All-time downloads: 36
Created: 2024-09-08 23:55:43