The LLM-EDA/VeriSeek galaxy

2 models are built on LLM-EDA/VeriSeek: 1 quantized, 1 fine-tuned, 0 adapters and 0 merges. Together they were downloaded 1,932 times in the last 30 days.

Most downloaded direct derivatives

• mradermacher/VeriSeek-GGUF (quantized), 1.9K downloads in 30 days
• LLM-EDA/VeriDebug (finetune), 8 downloads in 30 days

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