mlfoundations-dev/llama3-1_8b_mlfoundations-dev-stackexchange_proofassistants

Cold
Public
8B
16384
License: llama3.1
Hugging Face