latest
8.5GB
Llama 3 8B fine-tuned for Lean tactic prediction
8B
52 Pulls Updated 2 months ago
407983afa706 · 132B
{
"stop": [
"<|start_header_id|>",
"<|end_header_id|>",
"<|eot_id|>",
"\"<|reserved_special_token\""
]
}