latest
8.5GB
Llama 3 8B fine-tuned for Lean tactic prediction
8B
52 Pulls Updated 2 months ago
535e67e9acac · 129B
<|begin_of_text|><|start_header_id|>user<|end_header_id|>
{{ .Prompt }}<|eot_id|><|start_header_id|>assistant<|end_header_id|>