96 1 year ago

Llama 3 8B fine-tuned for Lean tactic prediction

1 year ago

c7deb0f09aff · 8.5GB ·

llama
·
8.03B
·
Q8_0
{ "stop": [ "<|start_header_id|>", "<|end_header_id|>", "<|eot_id|>",
<|begin_of_text|><|start_header_id|>user<|end_header_id|> {{ .Prompt }}<|eot_id|><|start_header_id|>

Readme

No readme