96 1 year ago

Llama 3 8B fine-tuned for Lean tactic prediction

407983afa706 · 132B
{
"stop": [
"<|start_header_id|>",
"<|end_header_id|>",
"<|eot_id|>",
"\"<|reserved_special_token\""
]
}