wellecks / ntpctx-llama3-8b

Llama 3 8B fine-tuned for Lean tactic prediction

8B

52 Pulls Updated 2 months ago

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