The kaiyuy/leandojo-lean4-tacgen-byt5-small galaxy

2 models are built on kaiyuy/leandojo-lean4-tacgen-byt5-small: 0 quantized, 0 fine-tuned, 2 adapters and 0 merges. Together they were downloaded 1,258 times in the last 30 days.

Most downloaded direct derivatives

• tcwong/reprover_by_file (adapter), 11 downloads in 30 days
• tcwong/reprover_proving_random (adapter), 11 downloads in 30 days

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.