96 1 year ago

Llama 3 8B fine-tuned for Lean tactic prediction

535e67e9acac · 129B
<|begin_of_text|><|start_header_id|>user<|end_header_id|>
{{ .Prompt }}<|eot_id|><|start_header_id|>assistant<|end_header_id|>