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
...
/
params
407983afa706 · 132B
{
"stop": [
"<|start_header_id|>",
"<|end_header_id|>",
"<|eot_id|>",
"\"<|reserved_special_token\""
]
}