Models
GitHub
Discord
Docs
Cloud
Sign in
Download
Models
Download
GitHub
Discord
Docs
Cloud
Sign in
wellecks
/
ntpctx-llama3-8b
:latest
96
Downloads
Updated
1 year ago
Llama 3 8B fine-tuned for Lean tactic prediction
Llama 3 8B fine-tuned for Lean tactic prediction
Cancel
ntpctx-llama3-8b:latest
...
/
template
535e67e9acac · 129B
<|begin_of_text|><|start_header_id|>user<|end_header_id|>
{{ .Prompt }}<|eot_id|><|start_header_id|>assistant<|end_header_id|>